From 02cbe0b4a6b6daceed5870a29288131a7b305e41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Sep 1999 15:15:42 +0000
Subject: Failed attempt to prevent Coq from starting up with display of
 current directory.

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 043b7f15..c1ee66b0 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -65,7 +65,7 @@
 
 ;; Command to initialize the Coq Proof Assistant
 (defconst coq-shell-init-cmd 
-  (concat (format "Set Undo %s." coq-default-undo-limit)
+  (concat (format "Set Undo %s.\n" coq-default-undo-limit)
 	  (format "Cd \"%s\"." default-directory)))
 
 ;; Command to reset the Coq Proof Assistant
-- 
cgit v1.2.3