diff --git a/spot/gen/automata.cc b/spot/gen/automata.cc
index 39e83f507..7a00b5aa0 100644
--- a/spot/gen/automata.cc
+++ b/spot/gen/automata.cc
@@ -84,6 +84,7 @@ namespace spot
         aut->new_edge(q, q, h);
 
       aut->merge_edges();
+      aut->prop_state_acc(true);
       return aut;
     }
   }