aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar Dilip Sequiera <da+pg-djs@inf.ed.ac.uk>1996-12-09 15:13:19 +0000
committerGravatar Dilip Sequiera <da+pg-djs@inf.ed.ac.uk>1996-12-09 15:13:19 +0000
commit3f65485ad4247b786ee034aede4799ed75462928 (patch)
tree805a6769b15c1d58c9084035ff23c7711ee04e07
parentf222051b779214153a8c72934abeb66568586231 (diff)
Took out some debugging code accidentally left in.
-rw-r--r--pbp.el1
1 files changed, 0 insertions, 1 deletions
diff --git a/pbp.el b/pbp.el
index bda61388..3f87d8b2 100644
--- a/pbp.el
+++ b/pbp.el
@@ -141,7 +141,6 @@
(pop-to-buffer pbp-goals-buffer)
(erase-buffer)
(insert (substring out 0 op))
- (princ topl)
(while (setq ip (car topl)
topl (cdr topl))
(pbp-make-top-extent ip (car topl)))