widl: Remove internal_error() as it is unused.

[Francois Gouget]

---
 tools/widl/utils.c |   10 ----------
 tools/widl/utils.h |    1 -
 2 files changed, 0 insertions(+), 11 deletions(-)

diff --git a/tools/widl/utils.c b/tools/widl/utils.c
index 007d1cb..3648e36 100644
--- a/tools/widl/utils.c
+++ b/tools/widl/utils.c
@@ -86,16 +86,6 @@ int parser_warning(const char *s, ...)
 	return 0;
 }
 
-void internal_error(const char *file, int line, const char *s, ...)
-{
-	va_list ap;
-	va_start(ap, s);
-	fprintf(stderr, "Internal error (please report) %s %d: ", file, line);
-	vfprintf(stderr, s, ap);
-	va_end(ap);
-	exit(3);
-}
-
 void error(const char *s, ...)
 {
 	va_list ap;
diff --git a/tools/widl/utils.h b/tools/widl/utils.h
index aa1d6b4..215bd60 100644
--- a/tools/widl/utils.h
+++ b/tools/widl/utils.h
@@ -35,7 +35,6 @@ char *xstrdup(const char *str);
 
 int parser_error(const char *s, ...) __attribute__((format (printf, 1, 2)));
 int parser_warning(const char *s, ...) __attribute__((format (printf, 1, 2)));
-void internal_error(const char *file, int line, const char *s, ...) __attribute__((format (printf, 3, 4)));
 void error(const char *s, ...) __attribute__((format (printf, 1, 2)));
 void warning(const char *s, ...) __attribute__((format (printf, 1, 2)));
 void chat(const char *s, ...) __attribute__((format (printf, 1, 2)));
-- 
1.5.3.4