From 98f2e463287e3562dc7b7126e062919a8604ca4a Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Sat, 25 Feb 2017 19:35:35 -0500
Subject: Remove compile-time calls to proof-ready-for-assistant

Compilation used to run in a separate Emacs process for each file, but that's not
what happens when installing PG with package.el.
---
 coq/coq-system.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'coq/coq-system.el')

diff --git a/coq/coq-system.el b/coq/coq-system.el
index 67081ea4..ad85a960 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -16,8 +16,7 @@
 
 (eval-when-compile
   (require 'cl)
-  (require 'proof-compat)
-  (proof-ready-for-assistant 'coq))
+  (require 'proof-compat))
 
 (eval-when (compile)
   (defvar coq-prog-args)
-- 
cgit v1.2.3