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

* src/tgbaalgos/emptinesscheck.cc (emptiness_check::check): Typos

Browse source 
in comment.
This commit is contained in:
Alexandre Duret-Lutz 2004-01-09 13:34:14 +00:00
parent 06877eac24
commit f01267f36f
1 changed files with 3 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

7
src/tgbaalgos/emptinesscheck.cc
View file

@ -202,10 +202,9 @@ namespace spot
continue;
}
// We know the state exist. Since a state can have several
// We know the state exists. Since a state can have several
// representations (i.e., objects), make sure we delete
// anything but the first one seen (the one used as key in
// H).
// anything but the first one seen (the one used as key in H).
if (dest != i->first)
delete dest;
@ -254,7 +253,7 @@ namespace spot
return false;
}
}
// This automaton recognize no word.
// This automaton recognizes no word.
return true;
}