diff --git a/src/smt/theory_sls.cpp b/src/smt/theory_sls.cpp
index a3a2d3e21..2caccee49 100644
--- a/src/smt/theory_sls.cpp
+++ b/src/smt/theory_sls.cpp
@@ -15,10 +15,11 @@ Author:
 
 --*/
 
-#include "smt/theory_sls.h"
+
 #include "smt/smt_context.h"
 #include "ast/sls/sls_context.h"
 #include "ast/for_each_expr.h"
+#include "smt/theory_sls.h"
 
 namespace smt {