1 files changed, 16 insertions, 0 deletions
diff --git a/src/theory/booleans/theory_bool.cpp b/src/theory/booleans/theory_bool.cpp
index d483ba105..b0f2efcda 100644
--- a/src/theory/booleans/theory_bool.cpp
+++ b/src/theory/booleans/theory_bool.cpp
@@ -56,6 +56,22 @@ Theory::PPAssertStatus TheoryBool::ppAssert(TNode in, SubstitutionMap& outSubsti
   return PP_ASSERT_STATUS_SOLVED;
 }
 
+/*
+void TheoryBool::check(Effort level) {
+  if (done() && !fullEffort(level)) {
+    return;
+  }
+  while (!done())
+  {
+    // Get all the assertions
+    Assertion assertion = get();
+    TNode fact = assertion.assertion;
+    Trace("ajr-bool") << "Assert : " << fact << std::endl;
+  }
+  if( Theory::fullEffort(level) ){
+  }
+}  
+*/
 
 }/* CVC4::theory::booleans namespace */
 }/* CVC4::theory namespace */