From e1a327e5621d191fe408d12b331d05dda17b395c Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 27 Aug 2010 16:32:16 +0000
Subject: Replace proof-terminal-char with proof-terminal-string.

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

(limited to 'pgshell')

diff --git a/pgshell/pgshell.el b/pgshell/pgshell.el
index bdf5c0e3..aa34e985 100644
--- a/pgshell/pgshell.el
+++ b/pgshell/pgshell.el
@@ -20,7 +20,7 @@
 (proof-easy-config 'pgshell "PG-Shell"
 
  proof-prog-name		     "/bin/sh"  ;; or your program
- proof-terminal-char                 ?\;        ;; end of commands
+ proof-terminal-string                 ";"        ;; end of commands
  proof-script-comment-start          "\#"	;; comments
  proof-shell-annotated-prompt-regexp "^.*[$] $" ;; matches prompts
 
-- 
cgit v1.2.3