diff --git a/src/ast/rewriter/th_rewriter.cpp b/src/ast/rewriter/th_rewriter.cpp
index 68fa45f72..c6439e12a 100644
--- a/src/ast/rewriter/th_rewriter.cpp
+++ b/src/ast/rewriter/th_rewriter.cpp
@@ -34,8 +34,6 @@ Notes:
 #include "ast/ast_pp.h"
 #include "ast/ast_util.h"
 #include "ast/well_sorted.h"
-#include "ast/ast.h"
-#include <map>
 
 namespace {
 struct th_rewriter_cfg : public default_rewriter_cfg {