From 99f075cdd60f6e87ac7009543f675464514a3565 Mon Sep 17 00:00:00 2001
From: joheras
Date: Fri, 31 May 2013 12:13:09 +0000
Subject: Inclusion of ML4PG in coq.el file.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 69bdce06..f15c6906 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2083,7 +2083,7 @@ are non-nil at the same time, this gives priority to the former."
 ;; Activation of ML4PG functionality
 
 (defun coq-activate-ml4pg ()
-  (load-file (concatenate 'string proof-home-directory "coq/ML4PG/ml4pg.el"))
+  (load-file (concatenate 'string proof-home-directory "contrib/ML4PG/ml4pg.el"))
   (ml4pg-select-mode))
 
 
-- 
cgit v1.2.3