From 17460bf8b246b7f26b390ca67145c11ee230de9d Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 4 Sep 2009 16:42:57 +0000
Subject: Remove proof-shell-prompt-pattern, no longer used.

---
 ccc/ccc.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'ccc')

diff --git a/ccc/ccc.el b/ccc/ccc.el
index 77544f85..0fdf77de 100644
--- a/ccc/ccc.el
+++ b/ccc/ccc.el
@@ -31,7 +31,6 @@
  proof-undo-n-times-cmd          "undo_steps %s;"
  proof-auto-multiple-files       nil 
  proof-shell-cd-cmd              "cd \"%s\""
- proof-shell-prompt-pattern      "^\\(CCC\\|^HOL-CASL\\) > "
  proof-shell-interrupt-regexp    "Interrupt"
  proof-shell-start-goals-regexp  "^No subgoals\\|^[0-9]* subgoals\\|^Wts:"
  proof-shell-end-goals-regexp    "val it"
-- 
cgit v1.2.3