diff options
| author | David Aspinall | 2009-09-04 15:21:36 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-04 15:21:36 +0000 |
| commit | 90de29be25c823e2f274a0a5bdaa8d2acda8ad99 (patch) | |
| tree | 08625526364e0e3b50333b9eaca2d3c92a622680 | |
| parent | 0c855d12fe8d21f0ab1dbe3288c6d47fac9c66f4 (diff) | |
Require on scomint in right place
| -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))) |