Fixing a compilation warning for a ml4pg function in coq.el.

1 files 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))))