diff options
| -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 |