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

Add missing #include.

Browse source 
* src/tgbaalgos/cutscc.cc, src/tgbaalgos/ltl2taa.cc:  Include
<algorithm> for set_difference and binary_search.
This commit is contained in:
Alexandre Duret-Lutz 2013-12-18 16:44:05 +01:00
parent 51d6fa7347
commit 7a6af3aa0d
2 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tgbaalgos/cutscc.cc
View file

@ -20,6 +20,7 @@
#include <iostream>
#include <string>
#include <queue>
#include <algorithm>
#include "tgba/tgbaexplicit.hh"
#include "cutscc.hh"

4
src/tgbaalgos/ltl2taa.cc
View file

@ -1,4 +1,5 @@
// Copyright (C) 2009, 2010, 2012 Laboratoire de Recherche et
// -*- coding: utf-8 -*-
// Copyright (C) 2009, 2010, 2012, 2013 Laboratoire de Recherche et
// Développement de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
@ -17,6 +18,7 @@
// along with this program. If not, see <http://www.gnu.org/licenses/>.
#include <utility>
#include <algorithm>
#include "ltlast/visitor.hh"
#include "ltlast/allnodes.hh"
#include "ltlvisit/lunabbrev.hh"