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;