From cd9af7214d6a2ecf71bf2e3fe6e1019bde973e25 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 9 Mar 2018 20:10:46 +0100
Subject: [PATCH] * spot/misc/hash.hh: Remove useless include.

---
 spot/misc/hash.hh | 1 -
 1 file changed, 1 deletion(-)

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 <string>
 #include <functional>
 #include <spot/misc/hashfunc.hh>
-#include <spot/misc/_config.h>
 
 #include <unordered_map>
 #include <unordered_set>