From bfdea4242c9a26b43432040126a98fcf85a46075 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 25 Apr 2014 18:03:35 +0100
Subject: [PATCH] removed unused file
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
src/tactic/sls/sls_compilation_settings.h | 0
src/tactic/sls/sls_engine.cpp | 1 -
src/tactic/sls/sls_engine.h | 1 -
src/tactic/sls/sls_tracker.h | 1 -
4 files changed, 3 deletions(-)
delete mode 100644 src/tactic/sls/sls_compilation_settings.h
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 269790902..67dba0237 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 8158808fa..8a8a57e0e 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"
diff --git a/src/tactic/sls/sls_tracker.h b/src/tactic/sls/sls_tracker.h
index d58f94af2..186fae250 100644
--- a/src/tactic/sls/sls_tracker.h
+++ b/src/tactic/sls/sls_tracker.h
@@ -25,7 +25,6 @@ Notes:
#include"bv_decl_plugin.h"
#include"model.h"
-#include"sls_compilation_settings.h"
#include"sls_powers.h"
class sls_tracker {