From b1ca69dcc59cc6dfb397d5502df867cce4500dd3 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 14 Dec 2007 13:14:13 +0000
Subject: Add compilation dependency

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

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

diff --git a/generic/pg-pbrpm.el b/generic/pg-pbrpm.el
index 9f331476..21f0c02f 100644
--- a/generic/pg-pbrpm.el
+++ b/generic/pg-pbrpm.el
@@ -4,9 +4,11 @@
 ;; Authors:   Jean-Roch SOTTY, Christophe Raffalli
 ;; License:   GPL (GNU GENERAL PUBLIC LICENSE)
 ;;
-
 ;; analysis of the goal buffer
 
+(require 'proof-utils)			;; for proof-face-specs
+
+
 
 (defvar pg-pbrpm-use-buffer-menu t
   "if t, pbrpm will use a menu displayed in a dialog fram instead of a popup menu")
-- 
cgit v1.2.3