From 09d881cce51bd87b39975b58cdc565c0009f911a Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 2 May 2020 15:54:12 -0700
Subject: [PATCH] na

---
 src/muz/spacer/spacer_util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/muz/spacer/spacer_util.cpp b/src/muz/spacer/spacer_util.cpp
index 32465947a..06aa3ef7e 100644
--- a/src/muz/spacer/spacer_util.cpp
+++ b/src/muz/spacer/spacer_util.cpp
@@ -412,7 +412,7 @@ namespace {
             
             if (!m_model.is_true(res)) {
                 IF_VERBOSE(2, verbose_stream() 
-                           << "(spacer-model-anomaly: " << res << ")\n";
+                           << "(spacer-model-anomaly: " << res << ")\n");
             }
             out.push_back(res);
         }