From: Timo Heister Date: Thu, 25 Dec 2014 20:12:39 +0000 (-0500) Subject: fix warpcomments.py X-Git-Tag: v8.2.0~3^2~4 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d3af12b219a19705e3324075ccc45724fb446af9;p=dealii.git fix warpcomments.py --- diff --git a/contrib/utilities/wrapcomments.py b/contrib/utilities/wrapcomments.py index f1ead54584..0242664f10 100755 --- a/contrib/utilities/wrapcomments.py +++ b/contrib/utilities/wrapcomments.py @@ -119,7 +119,7 @@ def format_block(lines, infostr=""): for it in ops_startline: if it in thisline: print ("%s warning %s not at start of line"%(infostr, it), file=sys.stderr) - if one_in(ops_startline, lines[idx]): + if one_in(ops_also_end_paragraph, lines[idx]): out.append(lines[idx].rstrip()) else: curlines.append(lines[idx])