From fe348b84c96a50c64979b58feac7bff5e8bb57ef Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Mon, 27 Mar 2023 16:20:33 -0700
Subject: [PATCH] fix #6652

---
 src/tactic/aig/aig_tactic.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/tactic/aig/aig_tactic.cpp b/src/tactic/aig/aig_tactic.cpp
index 9c5390c160f..8027e6484c3 100644
--- 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 {