diff options
| author | Clément Pit-Claudel | 2020-04-01 17:48:33 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2020-04-01 17:48:33 -0400 |
| commit | 412e424b3305b12b753084328747233c3076dbbb (patch) | |
| tree | 9255de9451a59577cff4ca0f9966535c0b29acb2 | |
| parent | 9196749d55413224355409d55003f7f8c8ba0f79 (diff) | |
Change "" into nil in argument to append
| -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 () |