From 2274308cad433d89188953f24163bb2e141ce4f7 Mon Sep 17 00:00:00 2001
From: Florian Renkin <frenkin@lrde.epita.fr>
Date: Fri, 17 May 2024 13:13:59 +0000
Subject: [PATCH] reduce_mealy_here: do not reduce when size is 1

* spot/twaalgos/mealy_machine.cc: here
---
 spot/twaalgos/mealy_machine.cc | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/spot/twaalgos/mealy_machine.cc b/spot/twaalgos/mealy_machine.cc
index 055cb511e..e63193cdc 100644
--- a/spot/twaalgos/mealy_machine.cc
+++ b/spot/twaalgos/mealy_machine.cc
@@ -800,6 +800,9 @@ namespace spot
   {
     ensure_mealy("reduce_mealy_here", mm);
 
+    if (mm->num_states() == 1)
+      return;
+
     // Only consider infinite runs
     mm->purge_dead_states();