diff options
| -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 bc4c6b4f..e2a3431e 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -452,7 +452,7 @@ LOADPATH, CURRENT-DIRECTORY, PRE-V85: see `coq-coqc-prog-args'." (if (and topfile-supported buffer-file-name) (message "Warning: this Coq buffer is probably not compilable \ because of its name, no -topfile option set.")) - "") + nil) (cons "-emacs" (coq-coqc-prog-args loadpath current-directory pre-v85))))) (defun coq-prog-args () |