From 7255245a6b952856ef4e673744906aad00a01a75 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Wed, 28 Sep 2016 19:15:41 -0400 Subject: Make it possible to work around #113 --- 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 8e0f9034..f133d1c5 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -449,7 +449,7 @@ coqtop." (push opt args)) (`("-arg" ,concatenated-args) (setq args - (append (split-string (cadr opt) coq--project-file-separator) + (append (split-string-and-unquote (cadr opt) coq--project-file-separator) args))))) (cons "-emacs" args))) -- cgit v1.2.3