From 48a9defb0dd68aabb00ef22e268b3615e28c58c3 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 9 Jul 2020 15:09:25 -0700 Subject: [PATCH] fix #1484 'regression' Signed-off-by: Nikolaj Bjorner --- src/smt/theory_str.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp index 058fa4045..4e560cec6 100644 --- a/src/smt/theory_str.cpp +++ b/src/smt/theory_str.cpp @@ -7217,7 +7217,7 @@ namespace smt { m_basicstr_axiom_todo.reset(); m_concat_axiom_todo.reset(); m_concat_eval_todo.reset(); - // m_library_aware_axiom_todo.reset(); + m_library_aware_axiom_todo.reset(); m_delayed_axiom_setup_terms.reset(); m_delayed_assertions_todo.reset();