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

* spot/twaalgos/totgba.cc: Typos in comment.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2017-09-26 22:27:35 +02:00
parent bef58b4169
commit 7987d71ae8
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/totgba.cc
View file

@ -284,7 +284,7 @@ namespace spot
// Nondeterministically jump to level ∅. We need to do
// that only once per cycle. As an approximation, we
// only to that for transition where t.src >= t.dst as
// only do that for transitions where t.src >= t.dst as
// this has to occur at least once per cycle.
if (pend == orig_copy && (t.src >= t.dst) && maybe_acc && !no_fin)
{