1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Core/SpecialFunctionHandler.cpp b/lib/Core/SpecialFunctionHandler.cpp
index a8d6edec..6587c30b 100644
--- a/lib/Core/SpecialFunctionHandler.cpp
+++ b/lib/Core/SpecialFunctionHandler.cpp
@@ -357,8 +357,8 @@ void SpecialFunctionHandler::handleCloseMerge(ExecutionState &state,
 
   if (state.openMergeStack.empty()) {
     std::ostringstream warning;
-    warning << &state << " ran into a close at " << i << " without a preceding open\n";
-    klee_warning(warning.str().c_str());
+    warning << &state << " ran into a close at " << i << " without a preceding open";
+    klee_warning("%s", warning.str().c_str());
   } else {
     state.openMergeStack.back()->addClosedState(&state, i);
     state.openMergeStack.pop_back();