From 57c5fbf8622fb01dfc0326f00b5dc6713715b384 Mon Sep 17 00:00:00 2001
From: Tobias Stumpf <tstumpf@os.inf.tu-dresden.de>
Date: Fri, 13 Jun 2014 21:37:26 +0200
Subject: [PATCH] Bugfix for last commit

---
 src/experiments/l4-sys/experimentFI.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/experiments/l4-sys/experimentFI.cc b/src/experiments/l4-sys/experimentFI.cc
index 89369f61..6b224563 100644
--- a/src/experiments/l4-sys/experimentFI.cc
+++ b/src/experiments/l4-sys/experimentFI.cc
@@ -1,6 +1,7 @@
 #include <iostream>
 
 #include "experiment.hpp"
+#include "experimentInfo.hpp"
 #include "UDIS86.hpp"
 #include "InstructionFilter.hpp"
 #include "aluinstr.hpp"
@@ -14,8 +15,6 @@
 #include "config/FailConfig.hpp"
 #include "TracePlugin.pb.h"
 #include "util/ProtoStream.hpp"
-#include "util/gzstream/gzstream.h"
-#include "util/CommandLine.hpp"
 
 using namespace std;
 using namespace fail;