From 1230ca4d4bddbd2b936203b0deb8ed8b7cdb0090 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Jul 2001 15:36:59 +0000
Subject: Clean-up compile

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

(limited to 'generic/pg-user.el')

diff --git a/generic/pg-user.el b/generic/pg-user.el
index 3557a7a9..fbc8464f 100644
--- a/generic/pg-user.el
+++ b/generic/pg-user.el
@@ -8,10 +8,11 @@
 ;;
 ;;
 
+(require 'proof-config)			; for proof-follow-mode
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-;; First a couple of helper functions 
+;; first a couple of helper functions 
 ;;
 
 (defmacro proof-maybe-save-point (&rest body)
-- 
cgit v1.2.3