From e1a327e5621d191fe408d12b331d05dda17b395c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 27 Aug 2010 16:32:16 +0000
Subject: Replace proof-terminal-char with proof-terminal-string.

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 73496c14..875ecedc 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -649,7 +649,7 @@ This is specific to `coq-mode'."
 (defun coq-mode-config ()
   ;; Coq error messages are thrown off by TAB chars.
   (set (make-local-variable 'indent-tabs-mode) nil)
-  (setq proof-terminal-char ?\.)
+  (setq proof-terminal-string ".")
   (setq proof-script-command-end-regexp
         "\\(?:[^.]\\|\\(?:\\.\\.\\)\\)\\.\\(\\s-\\|\\'\\)")
   (setq proof-script-comment-start "(*")
-- 
cgit v1.2.3