From 8d3fc8916e3a9369fdf427429f0b26d73478e3c1 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 4 Sep 2009 15:43:04 +0000
Subject: Profile more of the code

---
 lib/pg-dev.el | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

(limited to 'lib/pg-dev.el')

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 491c92ba..723e1e59 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -97,14 +97,12 @@
 
 (defun profile-pg ()
   (interactive)
-  (elp-instrument-package "proof-script")
-  (elp-instrument-package "proof-shell")
-  (elp-instrument-package "pg-response")
-  (elp-instrument-package "comint")
+  (elp-instrument-package "proof-")
+  (elp-instrument-package "pg-")
   (elp-instrument-package "scomint")
   (elp-instrument-package "unicode-tokens")
   (elp-instrument-package "coq")
-  (elp-instrument-package "isar"))  
+  (elp-instrument-package "isar"))
 
 
 
-- 
cgit v1.2.3