From 72f6fbe94fd3a90646c757cf5a76cfae50ac96bc Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 13 Nov 2015 16:38:28 +0100
Subject: compilation fix (coq-pre-v85).

---
 coq/coq-compile-common.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/coq/coq-compile-common.el b/coq/coq-compile-common.el
index 8cdd925e..e1f19209 100644
--- a/coq/coq-compile-common.el
+++ b/coq/coq-compile-common.el
@@ -16,6 +16,7 @@
 (require 'proof-shell)
 
 (eval-when (compile)
+  (defvar coq-pre-v85 nil)
   (defvar coq-confirm-external-compilation nil); defpacustom
   (defvar coq-compile-parallel-in-background nil) ; defpacustom
   (proof-ready-for-assistant 'coq))     ; compile for coq
-- 
cgit v1.2.3