From f2753cbb1f2aee24dfd7f231d5285e2c6ce12abd Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Fri, 24 May 2019 14:37:54 +0200
Subject: Update coqdev-setup-proofgeneral for dune

---
 dev/tools/coqdev.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

(limited to 'dev')

diff --git a/dev/tools/coqdev.el b/dev/tools/coqdev.el
index b89ae67a82..5f9f326750 100644
--- a/dev/tools/coqdev.el
+++ b/dev/tools/coqdev.el
@@ -78,11 +78,7 @@ Specifically `camldebug-command-name' and `ocamldebug-command-name'."
 Note that this function is executed before _Coqproject is read if it exists."
   (let ((dir (coqdev-default-directory)))
     (when dir
-      (unless coq-prog-args
-        (setq coq-prog-args
-              `("-coqlib" ,dir
-                "-topfile" ,buffer-file-name)))
-      (setq-local coq-prog-name (concat dir "bin/coqtop")))))
+      (setq-local coq-prog-name (concat dir "_build/default/dev/shim/coqtop-prelude")))))
 (add-hook 'hack-local-variables-hook #'coqdev-setup-proofgeneral)
 
 (defvar coqdev-ocamldebug-command "dune exec dev/dune-dbg"
-- 
cgit v1.2.3