1 files changed, 7 insertions, 4 deletions
diff --git a/src/theory/arith/arith_ite_utils.cpp b/src/theory/arith/arith_ite_utils.cpp
index 2b31831e2..cd180e59e 100644
--- a/src/theory/arith/arith_ite_utils.cpp
+++ b/src/theory/arith/arith_ite_utils.cpp
@@ -15,15 +15,18 @@
  ** \todo document this file
  **/
 
-#include "smt/options.h"
 #include "theory/arith/arith_ite_utils.h"
-#include "theory/arith/normal_form.h"
+
+#include <ostream>
+
+#include "base/output.h"
+#include "options/smt_options.h"
 #include "theory/arith/arith_utilities.h"
+#include "theory/arith/normal_form.h"
 #include "theory/ite_utilities.h"
-#include "theory/theory_model.h"
 #include "theory/rewriter.h"
 #include "theory/substitutions.h"
-#include <ostream>
+#include "theory/theory_model.h"
 
 using namespace std;