From 538afeb73be0fa5ad07a4efaf45af42c2b7a0cf8 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 6 Sep 2023 10:30:19 +0200
Subject: [PATCH] * spot/twaalgos/aiger.hh: Add missing include.

---
 spot/twaalgos/aiger.hh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/spot/twaalgos/aiger.hh b/spot/twaalgos/aiger.hh
index c89ae1ecb..bd0424e8e 100644
--- a/spot/twaalgos/aiger.hh
+++ b/spot/twaalgos/aiger.hh
@@ -1,6 +1,6 @@
 // -*- coding: utf-8 -*-
-// Copyright (C) 2020-21 Laboratoire de Recherche et Développement
-// de l'Epita (LRDE).
+// Copyright (C) 2020-2021, 2023 Laboratoire de Recherche et
+// Développement de l'Epita (LRDE).
 //
 // This file is part of Spot, a model checking library.
 //
@@ -30,6 +30,7 @@
 #include <vector>
 #include <set>
 #include <memory>
+#include <algorithm> // std::none_of
 #include <sstream>