From c38ce8cf68cb37ccbced429e76884488275c5332 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Fri, 17 Oct 2014 00:21:03 +0200
Subject: [PATCH] Small fix for autoParser

Former-commit-id: f22b6031ce6c281f8d8acae0afe0685084697636
---
 src/parser/AutoParser.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/parser/AutoParser.cpp b/src/parser/AutoParser.cpp
index 697740a7f..fbcc0b393 100644
--- 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