Use boost timer to provide platform independent timing

2013-08-06 14:27:36 +02:00
parent cabbe70e47
commit e5f0ad4f0b
5 changed files with 36 additions and 4 deletions
@@ -22,7 +22,7 @@
 #define EXTRACTIONCONTAINERS_H_

 #include "ExtractorStructs.h"
-#include "../DataStructures/TimingUtil.h"
+#include "../Util/TimingUtil.h"
 #include "../Util/UUID.h"

 #include <boost/foreach.hpp>
@@ -27,7 +27,6 @@ or see http://www.gnu.org/licenses/agpl.txt.
 #include "../DataStructures/ImportNode.h"
 #include "../DataStructures/QueryNode.h"
 #include "../DataStructures/Restriction.h"
-#include "../DataStructures/TimingUtil.h"
 #include "../typedefs.h"

 #include <boost/algorithm/string.hpp>