diff options
| -rw-r--r-- | coq/coq.el | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -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)))) |