alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* spot/twaalgos/aiger.hh: Add missing include.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2023-09-06 10:30:19 +02:00
parent e2149fabf4
commit 538afeb73b
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/twaalgos/aiger.hh
View file

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