diff --git a/src/ast/simplifiers/eliminate_predicates.h b/src/ast/simplifiers/eliminate_predicates.h
index ff11bfd3f..b2d628602 100644
--- a/src/ast/simplifiers/eliminate_predicates.h
+++ b/src/ast/simplifiers/eliminate_predicates.h
@@ -92,9 +92,6 @@ private:
     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);