diff options
Diffstat (limited to 'obsolete')
| -rw-r--r-- | obsolete/plastic/plastic.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/obsolete/plastic/plastic.el b/obsolete/plastic/plastic.el index f19b7006..f5462ba6 100644 --- a/obsolete/plastic/plastic.el +++ b/obsolete/plastic/plastic.el @@ -57,11 +57,11 @@ ;; Users should not need to change this. (defvar plastic-shell-handle-output - '(lambda (cmd string) - (when (proof-string-match "^Module" cmd) - ;; prevent output and just give a minibuffer message - (setq proof-shell-last-output-kind 'systemspecific) - (message "Imports done!"))) + (lambda (cmd string) + (when (proof-string-match "^Module" cmd) + ;; prevent output and just give a minibuffer message + (setq proof-shell-last-output-kind 'systemspecific) + (message "Imports done!"))) "Acknowledge end of processing import declarations.") (defconst plastic-process-config |