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

twa: typo in error message

Browse source 
* spot/twa/twa.cc (twa::accepting_run): Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-06-30 14:21:11 +02:00
parent efbce454e2
commit 772404c131
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

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