diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-07-19 16:02:49 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-07-19 16:02:49 +0000 |
| commit | a18f67f23e2fc7bc22d518e0532385311f6f0d80 (patch) | |
| tree | 1ef1b80b0d8579b9b42b7ab13426d3d769d5edbe | |
| parent | a48bbb9d9dcdb664fc71ddbcb63bd4880c691680 (diff) | |
bug fixing in matching theorem dependencies
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 |