Fix a special case in _CoqProject syntax (empty string).

1 files changed, 3 insertions, 2 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 534a2a62..5667f6d6 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1157,8 +1157,9 @@ allows to call coqtop from a subdirectory of the project."
                 (second (match-string 2))
                 (first (if (null dirprefix) firstfname
                          (expand-file-name firstfname dirprefix))))
-            (if second
-                (setq opt (cons (list first second) opt))
+            (if second ; if second arg is "" (two doublequotes), it means empty string
+                (let ((sec (if (string-equal second "\"\"") "" second)))
+                  (setq opt (cons (list first sec) opt)))
               (setq opt (cons first opt))))))
       (reverse opt))))