From: Timo Heister <timo.heister@gmail.com>
Date: Thu, 25 Dec 2014 20:12:39 +0000 (-0500)
Subject: fix warpcomments.py
X-Git-Tag: v8.3.0-rc1~584^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=59551b1e0953531b2790a311fde6500183772a5b;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])