From b8eb32604b2c1be02cace868742c961f900c2f27 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 17 Jan 2008 13:09:41 +0000
Subject: Fix requires

---
 generic/pg-autotest.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el
index 19f6eb32..acb3bcef 100644
--- a/generic/pg-autotest.el
+++ b/generic/pg-autotest.el
@@ -15,8 +15,9 @@
 ;; 
 ;; $Id$
 
-(require 'proof-site)
-(require 'proof-compat)
+(require 'proof)
+(require 'proof-script)
+(require 'pg-user)
 
 
 ;;; Commentary:
-- 
cgit v1.2.3