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

* spot/twa/twa.hh: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2016-11-13 09:36:06 +01:00
parent 937011692c
commit bdad288c70
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
spot/twa/twa.hh
View file

@ -828,7 +828,7 @@ namespace spot
/// \brief Return an accepting run if one exists.
///
/// Note that this method currently one works for Fin-less
/// Note that this method currently onky works for Fin-less
/// acceptance. For acceptance conditions that contain Fin
/// acceptance, you can either rely on is_empty() and not use any
/// accepting run, or remove Fin acceptance using remove_fin() and
@ -839,7 +839,7 @@ namespace spot
/// \brief Return an accepting word if one exists.
///
/// Note that this method DO works with Fin
/// Note that this method DOES works with Fin
/// acceptance.
///
/// Return nullptr if no accepting word were found.