diff options
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 9deb2980..e85c4628 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1404,12 +1404,8 @@ 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 message))) + (split-string (match-string 1 message)))) - ;; FIONA! New code needs to go in here: match - ;; against proof-shell-theorem-dependency-list-regexp and set a - ;; variable proof-last-theorem-depencies from the match string - (t ;; We're about to display a message. Clear the response buffer ;; if necessary, but don't clear it the next time. |