From d1046f553b37eff1e7057d7b9dfb648d25786421 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 31 May 2013 23:59:40 +0000 Subject: [PATCH] Typos (fix from Gaston Ingaramo). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6818 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/hybrid/PrismHybrid.cc | 2 +- prism/src/mtbdd/PrismMTBDD.cc | 2 +- prism/src/sparse/PrismSparse.cc | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) 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); }