From b49891900fe34a4d584c84fb33c9a71eacd2b767 Mon Sep 17 00:00:00 2001
From: Cristian Cadar <c.cadar@imperial.ac.uk>
Date: Fri, 2 Nov 2018 11:48:01 +0000
Subject: Fix bug which resulted in an incorrect warning to be printed.

---
 lib/Core/Executor.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
index 0dac7abe..e4f9388e 100644
--- a/lib/Core/Executor.cpp
+++ b/lib/Core/Executor.cpp
@@ -1118,7 +1118,7 @@ Executor::toConstant(ExecutionState &state,
      << (*(state.pc)).info->line << ")";
 
   if (AllExternalWarnings)
-    klee_warning(reason, os.str().c_str());
+    klee_warning("%s", os.str().c_str());
   else
     klee_warning_once(reason, "%s", os.str().c_str());
 
-- 
cgit 1.4.1