diff --git a/tests/core/twacube.cc b/tests/core/twacube.cc index b1d8617ceecf7ee11a8f7b4ff24fea0796d91fce..bb88d6691392999a501d509c96dc865ff99bbe2c 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"); }