mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-06 14:13:23 +00:00
Code Activity

z3str3: don't call propagate() in init_search_eh()

Browse source
This commit is contained in:
Murphy Berzish 2019-11-29 17:19:26 -05:00 • committed by Nikolaj Bjorner
parent 7b0327dbad
commit 89c9bb2e0e
1 changed files with 0 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/smt/theory_str.cpp
View file

@ -7748,10 +7748,6 @@ namespace smt {
set_up_axioms(ex); set_up_axioms(ex);
} }
// this might be cheating but we need to make sure that certain maps are populated
// before the first call to new_eq_eh()
propagate();
TRACE("str", tout << "search started" << std::endl;); TRACE("str", tout << "search started" << std::endl;);
search_started = true; search_started = true;
} }