From 5a1168cefaac1960b781c2e807eb4a88895519e1 Mon Sep 17 00:00:00 2001
From: Christophe Raffalli
Date: Thu, 26 Oct 2000 17:26:52 +0000
Subject: *** empty log message ***

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 7816bd3f..299bf7db 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -696,7 +696,7 @@ 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)))
-- 
cgit v1.2.3