diff --git a/src/tactic/sls/sls_compilation_settings.h b/src/tactic/sls/sls_compilation_settings.h
deleted file mode 100644
index e69de29bb..000000000
diff --git a/src/tactic/sls/sls_engine.cpp b/src/tactic/sls/sls_engine.cpp
index 447b4f7ed..0e9112216 100644
--- a/src/tactic/sls/sls_engine.cpp
+++ b/src/tactic/sls/sls_engine.cpp
@@ -27,7 +27,6 @@ Notes:
 #include"cooperate.h"
 #include"luby.h"
 
-#include"sls_compilation_settings.h"
 #include"sls_params.hpp"
 #include"sls_engine.h"
 
diff --git a/src/tactic/sls/sls_engine.h b/src/tactic/sls/sls_engine.h
index 874d6c7f5..e7fe909ba 100644
--- a/src/tactic/sls/sls_engine.h
+++ b/src/tactic/sls/sls_engine.h
@@ -24,7 +24,6 @@ Notes:
 #include"model_converter.h"
 #include"goal.h"
 
-#include"sls_compilation_settings.h"
 #include"sls_tracker.h"
 #include"sls_evaluator.h"
 #include"statistics.h"
diff --git a/src/tactic/sls/sls_tracker.h b/src/tactic/sls/sls_tracker.h
index 0f4ae4390..880e3a9f9 100644
--- a/src/tactic/sls/sls_tracker.h
+++ b/src/tactic/sls/sls_tracker.h
@@ -26,7 +26,6 @@ Notes:
 #include"bv_decl_plugin.h"
 #include"model.h"
 
-#include"sls_compilation_settings.h"
 #include"sls_powers.h"
 
 class sls_tracker {