add missing header

diff --git a/benchmarks/shufti.cpp b/benchmarks/shufti.cpp
index d154068544f53785008d8b58671d1d56f43486e6..45390b0df5f45cf4e593eae9dbdd21bf61301e9e 100644 (file)
--- a/benchmarks/shufti.cpp
+++ b/benchmarks/shufti.cpp
@@ -2,7 +2,9 @@
 #include "benchmarks.hpp"
 #include <iostream>
 #include <chrono>
-#include <time.h>
+#include <cstring>
+#include <ctime>
+
 /*
 #define RST  "\x1B[0m"
 #define KRED  "\x1B[31m"

diff --git a/benchmarks/truffle.cpp b/benchmarks/truffle.cpp
index 44f393c93b5e5e7b1c0e50befb4da0be44381f79..abcecdb134ba9e1cc88a4041b6976a417dc1180a 100644 (file)
--- a/benchmarks/truffle.cpp
+++ b/benchmarks/truffle.cpp
@@ -2,7 +2,9 @@
 #include "benchmarks.hpp"
 #include <iostream>
 #include <chrono>
-#include <time.h>
+#include <cstring>
+#include <ctime>
+
 /*
 #define RST  "\x1B[0m"
 #define KRED  "\x1B[31m"
@@ -84,4 +86,4 @@ void rtruffle_benchmarks(int size, int loops, int M, bool has_match) {
         std::cout<<"\x1B[35m Case with no match in random pos and size: "<<size<<" for "<<loops<<" loops:"<<"\x1B[36m rtruffleExec elapsetime: \x1B[0m"<<total_sec<<"\x1B[36m bandwidth: \x1B[0m"<<(size/total_sec)<<std::endl;
     }
     delete [] kt1;
-}
\ No newline at end of file
+}