fix str.at rewrite

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Oct 7, 2019 · 82c39f8 · 82c39f8
1 parent 9a516e5
commit 82c39f8
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
@@ -1586,9 +1586,11 @@ namespace nlsat {
                     check_lemma(c->size(), c->c_ptr(), false, nullptr);
                 }
             }
+#if 0
             for (clause* c : m_learned) {
                 IF_VERBOSE(0, display(verbose_stream() << "KEEP: ", c->size(), c->c_ptr()) << "\n");
             }
+#endif
             assumptions.reset();
             assumptions.append(result);
             return r;