diff --git a/src/tactic/fd_solver/enum2bv_solver.cpp b/src/tactic/fd_solver/enum2bv_solver.cpp
index aae6ea820..3efe3e511 100644
--- a/src/tactic/fd_solver/enum2bv_solver.cpp
+++ b/src/tactic/fd_solver/enum2bv_solver.cpp
@@ -23,12 +23,12 @@ Notes:
 #include "ast/bv_decl_plugin.h"
 #include "ast/datatype_decl_plugin.h"
 #include "ast/ast_pp.h"
+#include "ast/rewriter/enum2bv_rewriter.h"
 #include "model/model_smt2_pp.h"
 #include "tactic/tactic.h"
 #include "tactic/generic_model_converter.h"
-#include "solver/solver_na2as.h"
-#include "ast/rewriter/enum2bv_rewriter.h"
 #include "tactic/fd_solver/enum2bv_solver.h"
+#include "solver/solver_na2as.h"
 
 class enum2bv_solver : public solver_na2as {
     ast_manager&     m;