From b16192ae19ca8f2768a06ad4e867fdcd1f71e7a6 Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Wed, 16 Dec 2020 12:51:40 +0100
Subject: [PATCH] translate: Correct the choice of the automaton with the
 fewest colors

* spot/twaalgos/translate.cc: here
---
 spot/twaalgos/translate.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/translate.cc b/spot/twaalgos/translate.cc
index 5ada74631..d22997e8a 100644
--- a/spot/twaalgos/translate.cc
+++ b/spot/twaalgos/translate.cc
@@ -406,7 +406,7 @@ namespace spot
         if (((PREF_ == Deterministic) && d2_more_det)
             || (s2 < s1)
             || (s2 == s1
-                && ((aut2->num_sets() < aut2->num_sets()) || d2_more_det)))
+                && ((aut2->num_sets() < aut->num_sets()) || d2_more_det)))
           aut = std::move(aut2);
       }