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

fix error message in exception

* spot/twaalgos/alternation.cc: Here.
parent 1cf5778f
......@@ -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
......
Markdown is supported
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