include order

Z3Prover · Nov 22, 2020 · 65464f5 · 65464f5
1 parent 797f50e
commit 65464f5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/tactic/fd_solver/enum2bv_solver.cpp b/src/tactic/fd_solver/enum2bv_solver.cpp
@@ -23,12 +23,12 @@ Module Name:
 #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;