From 86b65062687ee3d6f29fbd21a47dd1533660ca8d Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Tue, 24 Jul 2018 09:50:31 +0200 Subject: [PATCH] * spot/twa/twa.cc: Typo. --- 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 7633a8b0f..8c0cb1a7d 100644 --- a/spot/twa/twa.cc +++ b/spot/twa/twa.cc @@ -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)