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

* spot/twaalgos/strength.cc: Typo.

parent 7957a231
......@@ -86,7 +86,7 @@ namespace spot
break;
}
}
// A terminal automaton should accept any word that as a prefix
// A terminal automaton should accept any word that has a prefix
// leading to an accepting edge. In other words, we cannot have
// an accepting edge that goes into a rejecting SCC.
if (terminal && is_term && !ignore_trivial_term)
......
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