From 921bde1e012be1a11c7e2be3806627b93342e286 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 8 Sep 2009 12:52:01 +0000
Subject: Clarify require

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index ef068a5b..0218c823 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -15,7 +15,7 @@
 ;;
 
 (require 'proof-site)			; basic vars
-(require 'scomint)			; scomint-check-proc
+(require 'scomint)			; for proof-shell-live-buffer
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3