diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-09 19:23:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-09 19:23:35 +0000 |
| commit | c3693c81982e37d1c2fea1ac4d9514ffaac72c60 (patch) | |
| tree | 796cacb4c87110e1e7f41d3fa7d455d6e3a8a2cf /isar | |
| parent | 1d5aebcd4ce6c65aa178032ff1e775fce986a74b (diff) | |
Use pg-dev profiling configuration
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-profiling.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/isar/isar-profiling.el b/isar/isar-profiling.el index 1f648628..c9e4039f 100644 --- a/isar/isar-profiling.el +++ b/isar/isar-profiling.el @@ -16,6 +16,7 @@ (declare-function isar-tracing:auto-solve-toggle "isar.el") (require 'pg-autotest) +(require 'pg-dev) (unless noninteractive @@ -42,8 +43,7 @@ (pg-autotest timetaken) ;; Same again with profiling - (elp-instrument-package "proof") - (elp-instrument-package "pg") + (profile-pg) (pg-autotest timestart) (pg-autotest process-wholefile "etc/isar/AHundredTheorems.thy") (pg-autotest timetaken) |