From d1a7c0ceb053c3c29e44e66414a43bfa940c48da Mon Sep 17 00:00:00 2001
From: Arie Gurfinkel <arie.gurfinkel@uwaterloo.ca>
Date: Thu, 17 May 2018 14:55:28 -0700
Subject: [PATCH] Remove a print

---
 src/muz/spacer/spacer_unsat_core_learner.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/muz/spacer/spacer_unsat_core_learner.cpp b/src/muz/spacer/spacer_unsat_core_learner.cpp
index bb50cc5c7..a6ab01870 100644
--- a/src/muz/spacer/spacer_unsat_core_learner.cpp
+++ b/src/muz/spacer/spacer_unsat_core_learner.cpp
@@ -76,7 +76,6 @@ void unsat_core_learner::compute_unsat_core(expr_ref_vector& unsat_core)
 
     // TODO: remove duplicates from unsat core?
 
-    verbose_stream() << std::endl;
     // move all lemmas into vector
     for (expr* const* it = m_unsat_core.begin(); it != m_unsat_core.end(); ++it)
     {