From 3c1172df89651a9c95dcc02ea68f3868c4d480b5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 15:49:19 +0000
Subject: Add proof-shell-theorem-dependency-list-split

---
 generic/proof-shell.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index fdb5413d..03c6f29d 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1232,7 +1232,8 @@ proof-shell-eager-annotation-start, proof-shell-eager-annotation-end."
      ((and proof-shell-theorem-dependency-list-regexp 
 	   (string-match proof-shell-theorem-dependency-list-regexp message))
       (setq proof-last-theorem-dependencies 
-	    (split-string (match-string 1 message))))
+	    (split-string (match-string 1 message) 
+			  proof-shell-theorem-dependency-list-split)))
 
      ;; CASE tracing output: output in the tracing buffer instead
      ;; of the response buffer
-- 
cgit v1.2.3