diff options
Diffstat (limited to 'generic/proof-shell.el')
| -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 b2231348..7595e3f7 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -874,7 +874,7 @@ assistant." (proof-clean-buffer proof-goals-buffer) (setq proof-shell-proof-completed t) (setq proof-shell-delayed-output - (cons 'insert (concat "\n" (match-string 0 string))))) + (cons 'insert (concat "\n" (match-string 1 string))))) ((proof-shell-string-match-safe proof-shell-start-goals-regexp string) (setq proof-shell-proof-completed nil) |