Typos (fix from Gaston Ingaramo).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6818 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · d1046f553b
3 changed files with 3 additions and 3 deletions
--- a/prism/src/hybrid/PrismHybrid.cc
+++ b/prism/src/hybrid/PrismHybrid.cc
@ -198,7 +198,7 @@ void PH_SetErrorMessage(const char *str, ...)
 	va_list argptr;
 	
 	va_start(argptr, str);
-	vsnprintf(error_message, MAX_LOG_STRING_LEN, str, argptr);
+	vsnprintf(error_message, MAX_ERR_STRING_LEN, str, argptr);
 	va_end(argptr);
 }

--- a/prism/src/mtbdd/PrismMTBDD.cc
+++ b/prism/src/mtbdd/PrismMTBDD.cc
@ -222,7 +222,7 @@ void PM_SetErrorMessage(const char *str, ...)
 	va_list argptr;
 	
 	va_start(argptr, str);
-	vsnprintf(error_message, MAX_LOG_STRING_LEN, str, argptr);
+	vsnprintf(error_message, MAX_ERR_STRING_LEN, str, argptr);
 	va_end(argptr);
 }

--- a/prism/src/sparse/PrismSparse.cc
+++ b/prism/src/sparse/PrismSparse.cc
@ -255,7 +255,7 @@ void PS_SetErrorMessage(const char *str, ...)
 	va_list argptr;
 	
 	va_start(argptr, str);
-	vsnprintf(error_message, MAX_LOG_STRING_LEN, str, argptr);
+	vsnprintf(error_message, MAX_ERR_STRING_LEN, str, argptr);
 	va_end(argptr);
 }