diff options
| author | David Aspinall | 2009-09-08 12:52:01 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-08 12:52:01 +0000 |
| commit | 921bde1e012be1a11c7e2be3806627b93342e286 (patch) | |
| tree | 6703c1aeae9bfa5c8e8c86ffac2113a91f5e0e7d /generic | |
| parent | e56e50e8e4cade271cae6f34cc6858d5146b0216 (diff) | |
Clarify require
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |