From e56e50e8e4cade271cae6f34cc6858d5146b0216 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Tue, 8 Sep 2009 12:51:12 +0000
Subject: Require on scomint

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

(limited to 'generic/proof-utils.el')

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
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3