remove unused structs

Z3Prover · Nov 24, 2022 · 3479129 · 3479129
1 parent caf204a
commit 3479129
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/src/ast/simplifiers/eliminate_predicates.h b/src/ast/simplifiers/eliminate_predicates.h
@@ -92,9 +92,6 @@ class eliminate_predicates : public dependent_expr_simplifier {
     der_rewriter          m_der;
     th_rewriter           m_rewriter;
     obj_map<func_decl, macro_def*> m_macros;
-
-    struct macro_expander_cfg;
-    struct macro_expander_rw;
 
     void rewrite(expr_ref& t);