From 230801c4203f33740210646bb7e3cc40426d821c Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 10 Nov 2017 22:09:37 +0100
Subject: [PATCH] dstar2tgba: remove some useless call

* bin/dstar2tgba.cc: Do not call to_generalized_buchi(), it's
already done in postproc.
---
 bin/dstar2tgba.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/bin/dstar2tgba.cc b/bin/dstar2tgba.cc
index 6eedfd7c9..05c09241f 100644
--- a/bin/dstar2tgba.cc
+++ b/bin/dstar2tgba.cc
@@ -124,8 +124,7 @@ namespace
     {
       spot::process_timer timer;
       timer.start();
-      auto nba = spot::to_generalized_buchi(haut->aut);
-      auto aut = post.run(nba, nullptr);
+      auto aut = post.run(haut->aut, nullptr);
       timer.stop();
       printer.print(aut, timer, nullptr, haut->filename.c_str(), -1, haut);
       flush_cout();