From 320cd81140c69bab5dc080c5dedabcb82090db62 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 2 Jun 2020 13:00:55 -0700
Subject: [PATCH] fix #4476

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/smt_context.cpp | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 10b904c35..801d0a3e3 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -95,9 +95,6 @@ namespace smt {
         m_last_search_failure(UNKNOWN),
         m_searching(false) {
 
-        std::cout << "create: " << m_fparams.m_relevancy_lvl << "\n";
-        SASSERT(m_fparams.m_relevancy_lvl != 0);
-
         SASSERT(m_scope_lvl == 0);
         SASSERT(m_base_lvl == 0);
         SASSERT(m_search_lvl == 0);