diff --git a/core/Types.h b/core/Types.h
index f5bbd5c5fa64f95a59be8357b7919dd2076af9d3..85b35525fd76bc7050af506d5e61ab530dbee13a 100644
--- a/core/Types.h
+++ b/core/Types.h
@@ -42,7 +42,7 @@ typedef bool boolean;
 #define TRUE true
 
 enum verdicttype { NONE = 0, PASS = 1, INCONC = 2, FAIL = 3, ERROR = 4 };
-extern const char * const verdict_name[];
+extern const char * const verdict_name[5];
 
 enum alt_status { ALT_UNCHECKED, ALT_YES, ALT_MAYBE, ALT_NO, ALT_REPEAT,
     ALT_BREAK };
diff --git a/core/Verdicttype.cc b/core/Verdicttype.cc
index 03d9e544f60f88c16e777adeebc36a673f646b1e..c395d8d696597df56672f65b1b022f15abc24725 100644
--- a/core/Verdicttype.cc
+++ b/core/Verdicttype.cc
@@ -33,7 +33,7 @@
 #define UNBOUND_VERDICT ((verdicttype)(ERROR + 1))
 #define IS_VALID(verdict_value) (verdict_value >= NONE && verdict_value <= ERROR)
 
-const char * const verdict_name[] = { "none", "pass", "inconc", "fail", "error" };
+const char * const verdict_name[5] = { "none", "pass", "inconc", "fail", "error" };
 
 VERDICTTYPE::VERDICTTYPE()
 {