From 55113ed1d04c20e85025718d9b93218d2ca4cc0b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 4 Aug 2017 15:15:33 +0200
Subject: [PATCH] fix error message in exception

* spot/twaalgos/alternation.cc: Here.
---
 spot/twaalgos/alternation.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/alternation.cc b/spot/twaalgos/alternation.cc
index 9df955582..14c5943b0 100644
--- a/spot/twaalgos/alternation.cc
+++ b/spot/twaalgos/alternation.cc
@@ -123,7 +123,7 @@ namespace spot
                   else if (m != t.acc)
                     {
                       throw std::runtime_error
-                        ("alternation_removal() only work with weak "
+                        ("remove_alternation() only works with weak "
                          "alternating automata");
                     }
                   // In case of a universal edge we only