From c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 10 Sep 2009 21:52:36 +0000
Subject: Clean compile

---
 generic/pg-assoc.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

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

diff --git a/generic/pg-assoc.el b/generic/pg-assoc.el
index 6d041c08..51633afe 100644
--- a/generic/pg-assoc.el
+++ b/generic/pg-assoc.el
@@ -13,11 +13,7 @@
 
 ;;; Code:
 
-(eval-when-compile
-  (require 'proof-syntax)			; proof-replace-{string,regexp}
-  (require 'span)				; spans
-  (require 'cl))				; incf
-
+(require 'proof-utils)
 
 (eval-and-compile ; defines proof-universal-keys-only-mode-map at compile time
   (define-derived-mode proof-universal-keys-only-mode fundamental-mode
-- 
cgit v1.2.3