From 43b8c2351c458c86c478da93c065ce87da5a52d2 Mon Sep 17 00:00:00 2001
From: Tobias Stumpf <tstumpf@os.inf.tu-dresden.de>
Date: Mon, 16 Jun 2014 14:08:08 +0200
Subject: [PATCH] More code cleanup

---
 src/experiments/l4-sys/experiment.cc            |  1 -
 src/experiments/l4-sys/experimentFI.cc          | 10 ++--------
 src/experiments/l4-sys/experimentPreparation.cc | 11 +++--------
 3 files changed, 5 insertions(+), 17 deletions(-)

diff --git a/src/experiments/l4-sys/experiment.cc b/src/experiments/l4-sys/experiment.cc
index 9a18d830..d3e5ed19 100644
--- a/src/experiments/l4-sys/experiment.cc
+++ b/src/experiments/l4-sys/experiment.cc
@@ -4,7 +4,6 @@
 #include "campaign.hpp"
 
 #include "sal/SALConfig.hpp"
-#include "config/FailConfig.hpp"
 
 using namespace std;
 using namespace fail;
diff --git a/src/experiments/l4-sys/experimentFI.cc b/src/experiments/l4-sys/experimentFI.cc
index 6b224563..a2d041d3 100644
--- a/src/experiments/l4-sys/experimentFI.cc
+++ b/src/experiments/l4-sys/experimentFI.cc
@@ -2,19 +2,13 @@
 
 #include "experiment.hpp"
 #include "experimentInfo.hpp"
-#include "UDIS86.hpp"
 #include "InstructionFilter.hpp"
+#include "UDIS86.hpp"
 #include "aluinstr.hpp"
 #include "campaign.hpp"
 
-#include "sal/SALConfig.hpp"
-#include "sal/SALInst.hpp"
-#include "sal/Memory.hpp"
-#include "sal/Listener.hpp"
 #include <sal/bochs/BochsMemory.hpp>
-#include "config/FailConfig.hpp"
-#include "TracePlugin.pb.h"
-#include "util/ProtoStream.hpp"
+#include "sal/SALConfig.hpp"
 
 using namespace std;
 using namespace fail;
diff --git a/src/experiments/l4-sys/experimentPreparation.cc b/src/experiments/l4-sys/experimentPreparation.cc
index 5050bf96..42776f86 100644
--- a/src/experiments/l4-sys/experimentPreparation.cc
+++ b/src/experiments/l4-sys/experimentPreparation.cc
@@ -6,15 +6,10 @@
 #include "aluinstr.hpp"
 
 #include "sal/SALConfig.hpp"
-#include "sal/SALInst.hpp"
-#include "sal/Memory.hpp"
-#include "sal/Listener.hpp"
-#include <sal/bochs/BochsMemory.hpp>
-#include "config/FailConfig.hpp"
-#include "TracePlugin.pb.h"
-#include "util/ProtoStream.hpp"
 #include "util/gzstream/gzstream.h"
-#include "util/CommandLine.hpp"
+#include "util/ProtoStream.hpp"
+#include "TracePlugin.pb.h"
+#include "sal/Listener.hpp"
 
 using namespace std;
 using namespace fail;