Small fix for autoParser

Former-commit-id: f22b6031ce
11 years ago · c38ce8cf68
1 changed files with 1 additions and 1 deletions
--- a/src/parser/AutoParser.cpp
+++ b/src/parser/AutoParser.cpp
@ -85,7 +85,7 @@ namespace storm {

 			// Find and read in the hint.
 			std::string formatString = "%" + std::to_string(STORM_PARSER_AUTOPARSER_HINT_LENGTH) + "s";
-			char hint[5];
+            char hint[STORM_PARSER_AUTOPARSER_HINT_LENGTH + 1];
 		#ifdef WINDOWS
 			sscanf_s(filehintBuffer, formatString.c_str(), hint, STORM_PARSER_AUTOPARSER_HINT_LENGTH + 1);
 		#else