From 8f14d43206fe63752407820ccc85eebc423c69ad Mon Sep 17 00:00:00 2001
From: Niko Matsakis <niko@alum.mit.edu>
Date: Fri, 25 Jan 2013 06:27:32 -0800
Subject: [PATCH] Make tidy actually work

r=catamorphism
---
 src/etc/tidy.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/etc/tidy.py b/src/etc/tidy.py
index a823bbb22772..2eb32c100acd 100644
--- a/src/etc/tidy.py
+++ b/src/etc/tidy.py
@@ -49,9 +49,9 @@ try:
                     report_err("FIXME without issue number")
             if line.find("TODO") != -1:
                 report_err("TODO is deprecated; use FIXME")
-            if line.find("// WARN") != -1:
-                mo = re.match("// WARN (.*)", line)
-                report_warn("WARN: " + mo.group(1))
+            idx = line.find("// WARN")
+            if idx != -1:
+                report_warn("WARN:" + line[idx + len("// WARN"):])
         if (line.find('\t') != -1 and
             fileinput.filename().find("Makefile") == -1):
             report_err("tab character")