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: