mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-11 19:53:34 +00:00
Code Activity

na

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-03-09 17:12:34 +01:00
parent bbcfd79bf6
commit d229efabfc
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/smt/tactic/ctx_solver_simplify_tactic.cpp
View file

@ -95,8 +95,8 @@ protected:
m_solver.push();
reduce(fml);
m_solver.pop(1);
if (m.canceled())
return;
if (m.canceled())
return;
SASSERT(m_solver.get_scope_level() == 0);
TRACE("ctx_solver_simplify_tactic",
for (unsigned i = 0; i < fmls.size(); ++i) {