From 82930e34dc7aaebd2c434d8af75c5a319efdb9d2 Mon Sep 17 00:00:00 2001 From: Michal Fratczak Date: Tue, 28 Feb 2023 19:10:19 +0100 Subject: [PATCH] Add missing header to CompressedVector.h --- code/websocketServer/CompressedVector.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/code/websocketServer/CompressedVector.h b/code/websocketServer/CompressedVector.h index 1248d24..fc371a9 100644 --- a/code/websocketServer/CompressedVector.h +++ b/code/websocketServer/CompressedVector.h @@ -23,6 +23,7 @@ #include #include #include +#include namespace habdec { @@ -83,7 +84,7 @@ public: max_ = *std::max_element(values_.begin(), values_.end()); return max_; } - + private: template