From 97cee7d0a46b2b26d2d15d62ebee791096ecbe58 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 18 Apr 2018 07:30:26 -0700 Subject: [PATCH] fix #1576, hopefully Signed-off-by: Nikolaj Bjorner --- src/muz/base/dl_util.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/muz/base/dl_util.cpp b/src/muz/base/dl_util.cpp index e8a1c5139..88b4c398d 100644 --- a/src/muz/base/dl_util.cpp +++ b/src/muz/base/dl_util.cpp @@ -31,6 +31,7 @@ Revision History: #include "muz/base/dl_rule.h" #include "muz/base/dl_util.h" #include "util/stopwatch.h" +#include namespace datalog { @@ -623,9 +624,9 @@ namespace datalog { bool string_to_uint64(const char * s, uint64_t & res) { #if _WINDOWS - int converted = sscanf_s(s, "%I64u", &res); + int converted = sscanf_s(s, "%" SCNu64, &res); #else - int converted = sscanf(s, "%I64u", &res); + int converted = sscanf(s, "%" SCNu64, &res); #endif if(converted==0) { return false;