diff options
| author | Kazuhiko Sakaguchi | 2019-10-07 00:20:54 +0200 |
|---|---|---|
| committer | Kazuhiko Sakaguchi | 2019-10-07 00:20:54 +0200 |
| commit | adb2ae391ea977a82408a1cbdae8f5f3e93cdcba (patch) | |
| tree | 2e69009d7786522ae9ab02a51fdd78b9645431ad /coq | |
| parent | d53ded580e30d49e7a783280fd9ba96bc9c1c39c (diff) | |
Make -topfile facility work for unnamed files
Diffstat (limited to 'coq')
| -rw-r--r-- | coq/coq-system.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/coq/coq-system.el b/coq/coq-system.el index 8febc1c8..ec940d8a 100644 --- a/coq/coq-system.el +++ b/coq/coq-system.el @@ -432,7 +432,8 @@ LOADPATH, CURRENT-DIRECTORY, PRE-V85: see `coq-include-options'." "Build a list of options for coqc. LOADPATH, CURRENT-DIRECTORY, PRE-V85: see `coq-coqc-prog-args'." (append - (if (coq--supports-topfile) (cons "-topfile" (cons buffer-file-name nil)) "") + (if (and (coq--supports-topfile) buffer-file-name) + (cons "-topfile" (cons buffer-file-name nil)) "") (cons "-emacs" (coq-coqc-prog-args loadpath current-directory pre-v85)))) (defun coq-prog-args () |