From 88dc500aa763a382928d8255b8d073a98f865f41 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 15 Mar 2018 10:23:17 +0100
Subject: [PATCH] tests: fix call to print_dot according to default arguments

* tests/core/twacube.cc: here.
---
 tests/core/twacube.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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<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");
 }