From b479c34c0be77bea45ddf13d8aa2f128262d9b64 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 29 Nov 2019 10:16:05 -0800 Subject: [PATCH] fix #2751 Signed-off-by: Nikolaj Bjorner --- src/smt/tactic/ctx_solver_simplify_tactic.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/smt/tactic/ctx_solver_simplify_tactic.cpp b/src/smt/tactic/ctx_solver_simplify_tactic.cpp index 4230b1317..06688b7bb 100644 --- a/src/smt/tactic/ctx_solver_simplify_tactic.cpp +++ b/src/smt/tactic/ctx_solver_simplify_tactic.cpp @@ -210,7 +210,7 @@ protected: else if (!n2) { n2 = mk_fresh(id, m.get_sort(arg)); trail.push_back(n2); - todo.push_back(expr_pos(self_pos, child_id++, i, arg)); + todo.push_back(expr_pos(self_pos, ++child_id, i, arg)); names.push_back(n2); args.push_back(n2); }