From 0f69ff683ea5da34b93effe8ca47093e58398ade Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 17 Jul 2013 11:05:26 +0000
Subject: fix type of coq-project-filename

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

diff --git a/coq/coq.el b/coq/coq.el
index 967679ee..ecd3b00f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1047,8 +1047,7 @@ recommended way of configuring the coqtop invocation. Local file
 variables may still be used to override the coq project file's
 configuration. .dir-locals.el files also work and override
 project file settings."
-  :type 'boolean)
-
+  :type 'string)
 
 
 (defun coq-find-project-file ()
-- 
cgit v1.2.3