diff options
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 818242f4..ef068a5b 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -1,6 +1,6 @@ ;; proof-utils.el --- Proof General utility functions and macros ;; -;; Copyright (C) 1998-2002 LFCS Edinburgh. +;; Copyright (C) 1998-2002, 2009 LFCS Edinburgh. ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> and others ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; @@ -15,6 +15,7 @@ ;; (require 'proof-site) ; basic vars +(require 'scomint) ; scomint-check-proc ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |