From a18f67f23e2fc7bc22d518e0532385311f6f0d80 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 19 Jul 2000 16:02:49 +0000
Subject: bug fixing in matching theorem dependencies

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

(limited to 'generic')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index bd3aa18c..9deb2980 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1404,7 +1404,7 @@ proof-shell-eager-annotation-start, proof-shell-eager-annotation-end."
    ((if proof-shell-theorem-dependency-list-regexp 
 	(string-match proof-shell-theorem-dependency-list-regexp message))
       (setq proof-last-theorem-dependencies 
-	  (match-string 1)))
+	  (match-string 1 message)))
    
      ;; FIONA!  New code needs to go in here: match 
    ;; against proof-shell-theorem-dependency-list-regexp and set a 
-- 
cgit v1.2.3