From 7d874df34819a9fe54a3d1ce686cf8715482d540 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 2 Aug 2017 11:33:56 +0000 Subject: [PATCH] PrismMTBDD, PrismSparse export_string: Pass via "%s" to log git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12189 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/mtbdd/PrismMTBDD.cc | 2 +- prism/src/sparse/PrismSparse.cc | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/prism/src/mtbdd/PrismMTBDD.cc b/prism/src/mtbdd/PrismMTBDD.cc index 2cc2bec5..5a7ec1a8 100644 --- a/prism/src/mtbdd/PrismMTBDD.cc +++ b/prism/src/mtbdd/PrismMTBDD.cc @@ -210,7 +210,7 @@ void export_string(const char *str, ...) if (export_file) { fprintf(export_file, "%s", full_string); } else { - PM_PrintToMainLog(export_env, full_string); + PM_PrintToMainLog(export_env, "%s", full_string); } } diff --git a/prism/src/sparse/PrismSparse.cc b/prism/src/sparse/PrismSparse.cc index bd0bc6e7..f7dfe139 100644 --- a/prism/src/sparse/PrismSparse.cc +++ b/prism/src/sparse/PrismSparse.cc @@ -234,7 +234,7 @@ void export_string(const char *str, ...) if (export_file) { fprintf(export_file, "%s", full_string); } else { - PS_PrintToMainLog(export_env, full_string); + PS_PrintToMainLog(export_env, "%s", full_string); } }