From 723b507a887499517c69182947a2c611f7487edb Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 24 Mar 2017 10:11:39 -0700
Subject: [PATCH] properly handle recursive function definitions #898

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/sat_simplifier.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/sat/sat_simplifier.cpp b/src/sat/sat_simplifier.cpp
index 8b753fb67..007751220 100644
--- a/src/sat/sat_simplifier.cpp
+++ b/src/sat/sat_simplifier.cpp
@@ -149,7 +149,6 @@ namespace sat {
     }
 
     void simplifier::operator()(bool learned) {
-        std::cout << s.rlimit().count() << "\n";
         if (s.inconsistent())
             return;
         if (!m_subsumption && !m_elim_blocked_clauses && !m_resolution)