From 2161617fba6f84cd5a07fb98f50bfc0f7a13ac61 Mon Sep 17 00:00:00 2001
From: dimitr <dimitr@users.sourceforge.net>
Date: Tue, 25 Jul 2006 10:46:44 +0000
Subject: [PATCH] Patch by Vitaly Bodzhgua. The code ignored exceptions thrown
 from ProcessFile().

---
 src/misc/makeHeader.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/misc/makeHeader.cpp b/src/misc/makeHeader.cpp
index 1b74fa7e9f..cc2c5f7b1b 100644
--- a/src/misc/makeHeader.cpp
+++ b/src/misc/makeHeader.cpp
@@ -60,7 +60,7 @@ int main()
 	try {
 		ProcessFile(stdin, false);
 	}
-	catch (char* x)
+	catch (const char* x)
 	{
 		fprintf(stderr, "%s\n", x);
 		return 1;