diff options
Diffstat (limited to 'plastic/plastic.el')
| -rw-r--r-- | plastic/plastic.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plastic/plastic.el b/plastic/plastic.el index ceefdd18..a4b0bf51 100644 --- a/plastic/plastic.el +++ b/plastic/plastic.el @@ -145,7 +145,7 @@ "*Regular expression indicating that the proof of the current goal has been abandoned.") -(defvar plastic-shell-proof-completed-regexp "\\(\\*\\*\\* QED \\*\\*\\*\\)" +(defvar plastic-shell-proof-completed-regexp "\\*\\*\\* QED \\*\\*\\*" "*Regular expression indicating that the proof has been completed.") (defvar plastic-save-command-regexp |