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

* src/bin/ltlcross.cc: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2015-10-13 13:40:12 +02:00
parent e8ce08a989
commit fb642c6df5
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/bin/ltlcross.cc
View file

@ -1069,7 +1069,7 @@ namespace
<< std::endl;
if (verbose)
std::cerr << "info: getting rid of any Inf acceptance...\n";
std::cerr << "info: getting rid of any Fin acceptance...\n";
for (unsigned i = 0; i < m; ++i)
{
#define DO(x, prefix, suffix) if (x[i]) \