From 536c2b6ce56eda6d4ca5d3ecf8ea7e03fa99c3d9 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sun, 21 Oct 2018 13:15:14 -0700 Subject: [PATCH] bypass warning size_t/unsigned Signed-off-by: Nikolaj Bjorner --- src/util/warning.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/util/warning.cpp b/src/util/warning.cpp index 10f18c21c..1e9f8a484 100644 --- a/src/util/warning.cpp +++ b/src/util/warning.cpp @@ -93,7 +93,7 @@ void format2ostream(std::ostream & out, char const* msg, va_list args) { va_end(args_copy); // +1 is for NUL termination. - buff.resize(msg_len + 1); + buff.resize(static_cast(msg_len + 1)); VPRF(buff.c_ptr(), buff.size(), msg, args);