diff options
| -rw-r--r-- | generic/proof-shell.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index b8344c95..0b6f2ce9 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -17,12 +17,10 @@ (eval-when-compile (require 'cl) (require 'span) - (require 'scomint) (require 'font-lock) (require 'proof-utils)) - - +(require 'scomint) (require 'proof-autoloads) (require 'pg-response) (require 'pg-goals) @@ -930,7 +928,7 @@ used in `proof-append-alist' when we start processing a queue, and in ;; position -1 (insert " ") - (scomint-send-input) ; NB: for comint, had to disable output-filter-functions + (scomint-send-input) (setq proof-shell-expecting-output t))) |