1 files changed, 1 insertions, 1 deletions
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