diff --git a/tests/core/twacube.cc b/tests/core/twacube.cc index b1d8617ce..bb88d6691 100644 --- a/tests/core/twacube.cc +++ b/tests/core/twacube.cc @@ -49,7 +49,7 @@ int main() // Test translation auto aut = twa_to_twacube(tg); - spot::print_dot(std::cout, tg); + spot::print_dot(std::cout, tg, "A"); std::cout << "-----------\n" << *aut << "-----------\n"; const std::vector& aps = aut->get_ap(); @@ -63,5 +63,5 @@ int main() << ' ' << d.acc_ << std::endl; } - spot::print_dot(std::cout, spot::twacube_to_twa(aut)); + spot::print_dot(std::cout, spot::twacube_to_twa(aut), "A"); }