diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 21:38:15 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-03 21:38:15 +0000 |
| commit | 626c87d9fad1f468a6009ba492c52af7e5d7afa9 (patch) | |
| tree | 5089ea55b9b2ae50011177d52c4874332b970791 /isar/isar-autotest.el | |
| parent | f2474d60020c4904de7bb58a53275e7f8d42ec74 (diff) | |
Fix compile
Diffstat (limited to 'isar/isar-autotest.el')
| -rw-r--r-- | isar/isar-autotest.el | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/isar/isar-autotest.el b/isar/isar-autotest.el index 123c519c..cc3d6640 100644 --- a/isar/isar-autotest.el +++ b/isar/isar-autotest.el @@ -8,18 +8,19 @@ (eval-when-compile (require 'cl)) +(eval-when (compile) + (require 'proof-site) + (proof-ready-for-assistant 'isar)) + (declare-function isar-tracing:auto-quickcheck-toggle "isar.el") (declare-function isar-tracing:auto-solve-toggle "isar.el") -(require 'proof-utils) (require 'pg-autotest) -(proof-ready-for-assistant 'isar) -(require 'isar) - (unless noninteractive - (pg-autotest log ".autotest.log") + (pg-autotest log ".autotest.log") ; convention + (pg-autotest timestart 'total) (pg-autotest remark "Testing standard Example.thy, Example-Xsym.thy") |