diff --git a/src/ast/rewriter/elim_bounds2.h b/src/ast/rewriter/elim_bounds2.h
index 0d3b026cf..e0bba4e60 100644
--- a/src/ast/rewriter/elim_bounds2.h
+++ b/src/ast/rewriter/elim_bounds2.h
@@ -21,7 +21,7 @@ Revision History:
 
 #include "ast/ast.h"
 #include "ast/arith_decl_plugin.h"
-#include "ast/rewriter/rewrite.h"
+#include "ast/rewriter/rewriter.h"
 
 /**
    \brief Functor for eliminating irrelevant bounds in quantified formulas.