diff options
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 3 |
1 files changed, 2 insertions, 1 deletions
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 |