From 2c13b299b8c4627a528507c0dc7976a5d71285c9 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 10 Oct 2022 10:00:38 +0200
Subject: [PATCH] hoa: add missing include

Fixes #515, reported by Yuri Victorovich.

* spot/twaalgos/hoa.hh: Include <unordered_map>.
---
 spot/twaalgos/hoa.hh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spot/twaalgos/hoa.hh b/spot/twaalgos/hoa.hh
index 8c2da4e43..74e97b567 100644
--- a/spot/twaalgos/hoa.hh
+++ b/spot/twaalgos/hoa.hh
@@ -23,6 +23,7 @@
 #include <spot/misc/common.hh>
 #include <spot/twa/fwd.hh>
 #include <vector>
+#include <unordered_map>
 #include <utility>
 #include <functional>
 #include <bddx.h>