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

* spot/twa/ Typo.

parent 85eff247
......@@ -85,7 +85,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 "
"Fin acceptance (but twa::is_empty() and "
"twa::accepting_word() can)");
auto res = couvreur99_new_check(shared_from_this());
if (!res)
Supports Markdown
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