diff options
Diffstat (limited to 'generic')
-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 |