diff --git a/src/ast/rewriter/bv_rewriter.cpp b/src/ast/rewriter/bv_rewriter.cpp
index 8011c4366..03eeab41f 100644
--- a/src/ast/rewriter/bv_rewriter.cpp
+++ b/src/ast/rewriter/bv_rewriter.cpp
@@ -16,8 +16,8 @@ Author:
 Notes:
 
 --*/
+#include "param/bv_rewriter_params.hpp"
 #include "ast/rewriter/bv_rewriter.h"
-#include "ast/rewriter/bv_rewriter_params.hpp"
 #include "ast/rewriter/poly_rewriter_def.h"
 #include "ast/ast_smt2_pp.h"
 #include "ast/ast_lt.h"