From 772404c13103091854c9ccc3c9ebb12d8f33f2b2 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 30 Jun 2017 14:21:11 +0200 Subject: [PATCH] twa: typo in error message * spot/twa/twa.cc (twa::accepting_run): Here. --- spot/twa/twa.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/spot/twa/twa.cc b/spot/twa/twa.cc index 81dd490ee..cdbb033d1 100644 --- a/spot/twa/twa.cc +++ b/spot/twa/twa.cc @@ -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;