From 016457722f9607ef82ab3be8b94f4ff4d0564dfb Mon Sep 17 00:00:00 2001
From: Ms2ger <ms2ger@gmail.com>
Date: Fri, 11 Jul 2014 13:02:58 +0200
Subject: [PATCH] Remove unused code from tidy.py.

---
 src/etc/tidy.py | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/etc/tidy.py b/src/etc/tidy.py
index 542a5a75e42..f8489a2841c 100644
--- a/src/etc/tidy.py
+++ b/src/etc/tidy.py
@@ -19,14 +19,6 @@ def report_error_name_no(name, no, s):
     print("%s:%d: %s" % (name, no, s))
     err=1
 
-def report_err(s):
-    report_error_name_no(fileinput.filename(), fileinput.filelineno(), s)
-
-def report_warn(s):
-    print("%s:%d: %s" % (fileinput.filename(),
-                         fileinput.filelineno(),
-                         s))
-
 def do_license_check(name, contents):
     if not check_license(name, contents):
         report_error_name_no(name, 1, "incorrect license")