diff --git a/spot/misc/hash.hh b/spot/misc/hash.hh index 9e6c9c696..f0f55eea1 100644 --- a/spot/misc/hash.hh +++ b/spot/misc/hash.hh @@ -25,7 +25,6 @@ #include #include #include -#include #include #include