bug in qe_lite

Z3Prover · Aug 9, 2019 · 52acbf1 · 52acbf1
1 parent e2d91ce
commit 52acbf1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/qe/qe_lite.cpp b/src/qe/qe_lite.cpp
@@ -145,6 +145,7 @@ namespace eq {
                     continue;
                 if (is_sub_extract(vars[i]->get_idx(), definitions[i])) {
                     order.push_back(i);
+                    done.mark(definitions[i]);
                     continue;
                 }
                 var * v = vars[i];