From 7c6b35313ae77cb5a85f420036582f77da47c0f9 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 8ed672270..eb838e7b5 100644
--- a/spot/twaalgos/translate.cc
+++ b/spot/twaalgos/translate.cc
@@ -416,7 +416,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);
       }