diff options
| author | Christophe Raffalli | 2000-10-26 17:34:01 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2000-10-26 17:34:01 +0000 |
| commit | f533bf9cacbca9466ae28bbf8f1945a115f803a3 (patch) | |
| tree | 1e00b459f53102ce555da47ba6f61dd1138d095f /generic/proof-utils.el | |
| parent | 5a1168cefaac1960b781c2e807eb4a88895519e1 (diff) | |
*** empty log message ***
Diffstat (limited to 'generic/proof-utils.el')
| -rw-r--r-- | generic/proof-utils.el | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 299bf7db..35f86bf9 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -696,13 +696,13 @@ If RETURNNOPATH is non-nil, return PROGNAME even if we can't find a full path." (string-match proof-comment-end-regexp str lpos) epos)) (if (and spos (or (not epos) (< spos epos))) (progn - (if (<= lvl 0) (setq astr + (if (= lvl 0) (setq astr (concat astr (substring str pos spos)))) (setq lpos (+ spos 1) lvl (+ lvl 1))) - (if (and epos (> lvl 0)) + (if (epos) (progn - (setq lpos (+ epos 1) lvl (- lvl 1)) + (setq lpos (+ epos 1) lvl (if (> lvl 0) (- lvl 1) 0)) (if (= lvl 0) (setq pos (+ epos 2))))))) (setq astr (concat astr (substring str pos))) astr))) |