From bec5938d9c06be6512ab2df49134ce33d09c0eb2 Mon Sep 17 00:00:00 2001 From: "Christoph M. Wintersteiger" Date: Fri, 25 Apr 2014 18:03:35 +0100 Subject: [PATCH] removed unused file Signed-off-by: Christoph M. Wintersteiger --- 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 {