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

* spot/twa/twa.cc: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2018-07-24 09:50:31 +02:00
parent d708174cfe
commit 86b6506268
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twa/twa.cc
View file

@ -85,7 +85,7 @@ namespace spot
{ {
if (acc().uses_fin_acceptance()) if (acc().uses_fin_acceptance())
throw std::runtime_error("twa::accepting_run() does not work with " throw std::runtime_error("twa::accepting_run() does not work with "
"Fin acceptance (but twa:is_empty() and " "Fin acceptance (but twa::is_empty() and "
"twa::accepting_word() can)"); "twa::accepting_word() can)");
auto res = couvreur99_new_check(shared_from_this()); auto res = couvreur99_new_check(shared_from_this());
if (!res) if (!res)