diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:22:59 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2007-12-14 01:22:59 +0000 |
commit | 1f8b780b72b36b9ca4605453b9fe73bbc9dd4c23 (patch) | |
tree | 9bae546af0e8a4804246121c99525b2b81ea315d /generic/pg-autotest.el | |
parent | 8fa863dea38eb6471bc99f05328b53430fd78f8d (diff) |
Improve loading; these tests are not functioning yet
Diffstat (limited to 'generic/pg-autotest.el')
-rw-r--r-- | generic/pg-autotest.el | 1 |
1 files changed, 1 insertions, 0 deletions
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 |