From 7631d9f15d97ec82eb121650032b99ccba2621ff Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 4 Jul 2013 12:32:16 +0000
Subject: Fixing a compilation warning for a ml4pg function in coq.el.

---
 coq/coq.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index 336f6205..095fc156 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2201,10 +2201,11 @@ are non-nil at the same time, this gives priority to the former."
 ;(define-key coq-mode-map (kbd ";") 'coq-terminator-insert) ; for french keyboards
 
 ;; Activation of ML4PG functionality
+(declare-function ml4pg-select-mode "ml4pg") ;; Avoids copilation warnings
 
 (defun coq-activate-ml4pg ()
-  (load-file (concatenate 'string proof-home-directory "contrib/ML4PG/ml4pg.el"))
-  (ml4pg-select-mode))
+  (let ((filename (concatenate 'string proof-home-directory "contrib/ML4PG/ml4pg.el")))
+    (when (file-exists-p filename) (load-file filename) (ml4pg-select-mode))))
 
 
 
-- 
cgit v1.2.3