From aa757ce580f4c97e6f18a3f28759897b587586c9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 7 Sep 2009 08:52:24 +0000
Subject: Missing require

---
 generic/pg-user.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 34afcf0e..2dc04816 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -1,6 +1,6 @@
 ;;; pg-user.el --- User level commands for Proof General
 ;;
-;; Copyright (C) 2000-2008 LFCS Edinburgh.
+;; Copyright (C) 2000-2009 LFCS Edinburgh.
 ;; Author:     David Aspinall and others
 ;; License:    GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
@@ -16,6 +16,8 @@
 ;;; Code:
 
 (require 'span)
+(require 'scomint)
+
 (require 'proof)			; loader
 (require 'proof-script)			; we build on proof-script
 
-- 
cgit v1.2.3