From d561dfb7e09d39d7506055f70a649bdb42bf6378 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sat, 17 Aug 2013 14:37:32 +0200
Subject: [PATCH] * src/bin/ltlcross.cc: Use dstar_to_tgba().

---
 src/bin/ltlcross.cc | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/bin/ltlcross.cc b/src/bin/ltlcross.cc
index c0b50d40e..7a0945047 100644
--- a/src/bin/ltlcross.cc
+++ b/src/bin/ltlcross.cc
@@ -787,11 +787,11 @@ namespace
 		    delete aut;
 		    res = 0;
 		  }
-		if (aut->type == spot::Rabin)
-		  res = spot::nra_to_nba(aut);
 		else
-		  res = spot::nsa_to_tgba(aut);
-		delete aut;
+		  {
+		    res = dstar_to_tgba(aut);
+		    delete aut;
+		  }
 		break;
 	      }
 	    case printable_result_filename::None: