From 90de29be25c823e2f274a0a5bdaa8d2acda8ad99 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 15:21:36 +0000
Subject: Require on scomint in right place

---
 generic/proof-shell.el | 6 ++----
 1 file 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)))
 
-- 
cgit v1.2.3