From 1f8b780b72b36b9ca4605453b9fe73bbc9dd4c23 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 14 Dec 2007 01:22:59 +0000
Subject: Improve loading; these tests are not functioning yet

---
 generic/pg-autotest.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic')

diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el
index 70d7a334..a48027f5 100644
--- a/generic/pg-autotest.el
+++ b/generic/pg-autotest.el
@@ -16,6 +16,7 @@
 ;; $Id$
 
 (require 'proof-site)
+(require 'proof-compat)
 
 (defvar pg-autotest-success t)		;; success unless error caught
 
-- 
cgit v1.2.3