From c3693c81982e37d1c2fea1ac4d9514ffaac72c60 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 9 Aug 2010 19:23:35 +0000
Subject: Use pg-dev profiling configuration

---
 isar/isar-profiling.el | 4 ++--
 1 file 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)
-- 
cgit v1.2.3