Replace proof-terminal-char with proof-terminal-string.

1 files changed, 1 insertions, 1 deletions

diff --git a/ccc/ccc.el b/ccc/ccc.el
index b7f3619f..660c640d 100644
--- a/ccc/ccc.el
+++ b/ccc/ccc.el
@@ -20,7 +20,7 @@
 
 (proof-easy-config  'ccc "CASL Consistency Checker"
  proof-prog-name		 "ccc" ;; must be in your path.
- proof-terminal-char             ?\;
+ proof-terminal-string             ";"
  proof-script-comment-start      "(*"
  proof-script-comment-end        "*)"
  proof-goal-command-regexp       "\\(ccc\\|holcasl\\) \".*\";"