From adb2ae391ea977a82408a1cbdae8f5f3e93cdcba Mon Sep 17 00:00:00 2001
From: Kazuhiko Sakaguchi
Date: Mon, 7 Oct 2019 00:20:54 +0200
Subject: Make -topfile facility work for unnamed files

---
 coq/coq-system.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 ()
-- 
cgit v1.2.3