From 273a52e58aec0d616a9b861480b3e95566e59cf6 Mon Sep 17 00:00:00 2001 From: Christophe Raffalli Date: Fri, 15 Sep 2000 13:49:13 +0000 Subject: removed some debugging messages I forgot --- generic/proof-utils.el | 3 --- 1 file changed, 3 deletions(-) (limited to 'generic') diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 9f1d7761..5c6eacea 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -697,8 +697,6 @@ If RETURNNOPATH is non-nil, return PROGNAME even if we can't find a full path." (string-search proof-comment-start str lpos) spos) epos (if (and epos (< epos lpos)) (string-search proof-comment-end str lpos) epos)) - (message (format "pos: %d, spos: %d, epos: %d, astr: %s ///" - pos (if spos spos -1) (if epos epos -1) astr)) (if (and spos (or (not epos) (< spos epos))) (progn (if (= lvl 0) (setq astr @@ -710,7 +708,6 @@ If RETURNNOPATH is non-nil, return PROGNAME even if we can't find a full path." (setq lpos (+ epos 1) lvl (- lvl 1)) (if (= lvl 0) (setq pos (+ epos 2))))))) (setq astr (concat astr (substring str pos))) - (message astr) astr))) ;; End of proof-utils.el -- cgit v1.2.3