Commit b7610e69 authored by Etienne Renault's avatar Etienne Renault

tests: fix call to print_dot according to default arguments

* tests/core/twacube.cc: here.
parent 1386bb08
...@@ -49,7 +49,7 @@ int main() ...@@ -49,7 +49,7 @@ int main()
// Test translation // Test translation
auto aut = twa_to_twacube(tg); auto aut = twa_to_twacube(tg);
spot::print_dot(std::cout, tg); spot::print_dot(std::cout, tg, "A");
std::cout << "-----------\n" << *aut << "-----------\n"; std::cout << "-----------\n" << *aut << "-----------\n";
const std::vector<std::string>& aps = aut->get_ap(); const std::vector<std::string>& aps = aut->get_ap();
...@@ -63,5 +63,5 @@ int main() ...@@ -63,5 +63,5 @@ int main()
<< ' ' << d.acc_ << ' ' << d.acc_
<< std::endl; << std::endl;
} }
spot::print_dot(std::cout, spot::twacube_to_twa(aut)); spot::print_dot(std::cout, spot::twacube_to_twa(aut), "A");
} }
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