alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

tests: fix call to print_dot according to default arguments

Browse source 
* tests/core/twacube.cc: here.
This commit is contained in:
Etienne Renault 2018-03-15 10:23:17 +01:00
parent a9178fbe64
commit 88dc500aa7
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
tests/core/twacube.cc
View file

@ -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<std::string>& 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");
}