From 91f58fb1ca7783160474411419fe8124879b36ec Mon Sep 17 00:00:00 2001 From: Konstantinos Margaritis Date: Thu, 2 Sep 2021 15:35:23 +0300 Subject: [PATCH] add missing header --- benchmarks/shufti.cpp | 4 +++- benchmarks/truffle.cpp | 6 ++++-- 2 files changed, 7 insertions(+), 3 deletions(-) diff --git a/benchmarks/shufti.cpp b/benchmarks/shufti.cpp index d1540685..45390b0d 100644 --- a/benchmarks/shufti.cpp +++ b/benchmarks/shufti.cpp @@ -2,7 +2,9 @@ #include "benchmarks.hpp" #include #include -#include +#include +#include + /* #define RST "\x1B[0m" #define KRED "\x1B[31m" diff --git a/benchmarks/truffle.cpp b/benchmarks/truffle.cpp index 44f393c9..abcecdb1 100644 --- a/benchmarks/truffle.cpp +++ b/benchmarks/truffle.cpp @@ -2,7 +2,9 @@ #include "benchmarks.hpp" #include #include -#include +#include +#include + /* #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: "<