From 82c39f81a3589ed2f5cc016eb9ffb739ac169b0e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sun, 6 Oct 2019 20:43:48 -0700
Subject: [PATCH] fix str.at rewrite

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/nlsat/nlsat_solver.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 23b51cd8d..67aa219c3 100644
--- 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;