diff options
| -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) |