fix #6652

Z3Prover · Mar 27, 2023 · fe348b8 · fe348b8
1 parent adec937
commit fe348b8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/tactic/aig/aig_tactic.cpp b/src/tactic/aig/aig_tactic.cpp
@@ -103,6 +103,7 @@ class aig_tactic : public tactic {
                 new_f = conj;
             g->assert_expr(new_f);                       
         }
+        g->elim_true();
     }
 
     void operator()(goal_ref const & g, goal_ref_buffer & result) override {