diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index b732b792d..617608d8e 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -1601,7 +1601,7 @@ namespace smt {
             if (inconsistent())
                 return false;
         }
-#if 1
+#if 0
         if (at_search_level() && induction::should_try(*this)) {
             get_induction()();
         }