diff options
| author |  Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-09-15 13:49:13 +0000 |
|---|---|---|
| committer | Christophe Raffalli <christophe.raffalli@univ-savoie.fr> | 2000-09-15 13:49:13 +0000 |
| commit | 273a52e58aec0d616a9b861480b3e95566e59cf6 (patch) | |
| tree | c1931f4a8a3c152f970231e0dbefb3f866f56782 /generic | |
| parent | 68ffa08ab61358cf90f501f8c350ac5d5764faa6 (diff) | |
removed some debugging messages I forgot
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-utils.el | 3 |
1 files changed, 0 insertions, 3 deletions
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 |