Commit c379acad authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

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

parent a2cbf0af
...@@ -687,7 +687,7 @@ namespace spot ...@@ -687,7 +687,7 @@ namespace spot
// Nondeterministically jump to level ∅. We need to do // Nondeterministically jump to level ∅. We need to do
// that only once per cycle. As an approximation, we // 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. // this has to occur at least once per cycle.
if (pend == orig_copy && (t.src >= t.dst) && maybe_acc && !no_fin) if (pend == orig_copy && (t.src >= t.dst) && maybe_acc && !no_fin)
{ {
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment