From 29ed26c5e3fb7ee1e4b284b0b2ce6dd782fc288b Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 8 Mar 2016 10:31:40 +0100
Subject: Small fix for -Q options in loadpath.

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

diff --git a/coq/coq-system.el b/coq/coq-system.el
index f13a0f1e..2a803f36 100644
--- a/coq/coq-system.el
+++ b/coq/coq-system.el
@@ -259,7 +259,7 @@ request compatibility handling of flags."
          (list "-R" (expand-file-name dir) alias)))
     (pcase entry
       ((and (pred stringp) dir)
-       (list "-Q" (expand-file-name dir) ""))
+       (list "-Q" (expand-file-name dir) "\"\""))
       (`(ocamlimport ,dir)
        (list "-I" (expand-file-name dir)))
       (`(recnoimport ,dir ,alias)
-- 
cgit v1.2.3