From b2fd7d69884ce99e4383931429eee61b962ecb68 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 6 Sep 2009 11:40:47 +0000
Subject: More instrumentation

---
 lib/pg-dev.el | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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

diff --git a/lib/pg-dev.el b/lib/pg-dev.el
index 79fd1a3a..69be4c40 100644
--- a/lib/pg-dev.el
+++ b/lib/pg-dev.el
@@ -103,7 +103,10 @@
   (elp-instrument-package "scomint")
   (elp-instrument-package "unicode-tokens")
   (elp-instrument-package "coq")
-  (elp-instrument-package "isar"))
+  (elp-instrument-package "isar")
+  (elp-instrument-package "span")
+  (elp-instrument-package "spans")
+  (elp-instrument-package "font-lock"))
 
 
 ;;
-- 
cgit v1.2.3