More code cleanup

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;

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;

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;