diff --git a/prism/src/hybrid/PrismHybrid.cc b/prism/src/hybrid/PrismHybrid.cc index f2535829..649dfe96 100644 --- 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); } diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc index c9de1aa3..2529d545 100644 --- 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); } diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc index 3d11d2dc..feb8759f 100644 --- 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); }