From 4652c72e789a08060082bf4035e8ecebf250b280 Mon Sep 17 00:00:00 2001 From: Joachim Klein Date: Wed, 2 Aug 2017 11:34:29 +0000 Subject: [PATCH] dd_cudd.cc: silence printf warning There is currently no portable format string argument for std::size_t, so we simply convert to a string via std::to_string() ourselves. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@12191 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/dd/dd_cudd.cc | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/src/dd/dd_cudd.cc b/prism/src/dd/dd_cudd.cc index 3f552250..d3700086 100644 --- a/prism/src/dd/dd_cudd.cc +++ b/prism/src/dd/dd_cudd.cc @@ -31,6 +31,7 @@ #include #include +#include extern FILE *dd_out; @@ -365,7 +366,7 @@ void DD_ReportExternalRefCounts(DdManager *manager) std::map internal_refs; DD_AnalyzeRefCounts(manager, nodes, internal_refs); - printf("%lu nodes\n", nodes.size()); + printf("%s nodes\n", std::to_string(nodes.size()).c_str()); // no portable format string flag for size_t at the moment for (std::set::iterator it = nodes.begin(); it != nodes.end();