From 7626fe49c79f0013eb0e56cc6adf1079a9dc3db4 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 30 May 2008 15:43:16 +0000
Subject: Fixed a bug in coq guessing of command line

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

diff --git a/coq/coq.el b/coq/coq.el
index b877d5f4..25785942 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -790,7 +790,7 @@ This is specific to `coq-mode'."
 (defun coq-guess-command-line (filename)
   "Guess the right command line options to compile FILENAME using `make -n'."
   (if (local-variable-p 'coq-prog-name (current-buffer)) coq-prog-name
-    (let ((dir (or (file-name-directory filename) "."))
+    (let* ((dir (or (file-name-directory filename) "."))
           (makedir
            (cond
             ((file-exists-p (concat dir "Makefile")) ".")
-- 
cgit v1.2.3