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.

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

(limited to 'lclam/lclam.el')

diff --git a/lclam/lclam.el b/lclam/lclam.el
index 9b9be6d8..5d5c180b 100644
--- a/lclam/lclam.el
+++ b/lclam/lclam.el
@@ -56,7 +56,6 @@
   (setq
    proof-shell-annotated-prompt-regexp "^lclam:" 
    proof-shell-cd-cmd                  nil
-   proof-shell-prompt-pattern          nil
    proof-shell-interrupt-regexp        nil
    proof-shell-error-regexp            nil
    proof-shell-start-goals-regexp      nil
-- 
cgit v1.2.3