diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-09-28 19:15:41 -0400 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2016-09-28 19:17:18 -0400 |
| commit | 7255245a6b952856ef4e673744906aad00a01a75 (patch) | |
| tree | 69e50c385113c0e87f64c2740d3e07309df8e2a8 /coq/coq-system.el | |
| parent | 71be0c69ff955b2e79f456b6dad5c4406fc08e71 (diff) | |
Make it possible to work around #113
Diffstat (limited to 'coq/coq-system.el')
| -rw-r--r-- | coq/coq-system.el | 2 |
1 files changed, 1 insertions, 1 deletions
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))) |