make-temp-file without text argument for emacs 25

fixes #534

1 files changed, 4 insertions, 3 deletions

diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el
index 7d15537b..29c1ddab 100644
--- a/coq/coq-par-compile.el
+++ b/coq/coq-par-compile.el
@@ -1639,9 +1639,10 @@ was queued."
            (get job 'load-path)))
         (coq-load-path-include-current nil)
         (require-command
-         (mapconcat 'identity (nth 1 (car (get job 'queueitems))) " ")))
-    (put job 'temp-require-file
-         (make-temp-file "ProofGeneral-coq" nil ".v" require-command))
+         (mapconcat 'identity (nth 1 (car (get job 'queueitems))) " "))
+        (temp-file (make-temp-file "ProofGeneral-coq" nil ".v")))
+    (put job 'temp-require-file temp-file)
+    (with-temp-file temp-file (insert require-command))
     (when coq--debug-auto-compilation
       (message "%s: start coqdep for require job for file %s"
 	       (get job 'name)