diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 21:52:37 +0000 |
commit | 282b31af3ecdbd06cbd79f97a833caf19bbef956 (patch) | |
tree | 3fe4427f1576c7f7997169c53c7b3b1ac7afa9aa /generic/pg-autotest.el | |
parent | c25e7f0a0fc7eb9a0b90cc3aab6b7740cec9d8ee (diff) |
Clean compile
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 5fb14f0b..994247cf 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -16,6 +16,7 @@ ;; $Id$ (require 'proof) +(require 'proof-shell) ;;; Commentary: ;; |