diff --git a/ChangeLog b/ChangeLog
index 4186f0fcc..7a83ea388 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-06-25  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbatest/ltl2tgba.cc (main): Degeneralize before
+	the simulations.
+
 2004-06-23  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/ltlvisit/tostring.cc (is_bare_word): New function.
diff --git a/src/tgbatest/ltl2tgba.cc b/src/tgbatest/ltl2tgba.cc
index 167e6c44d..c16aba08d 100644
--- a/src/tgbatest/ltl2tgba.cc
+++ b/src/tgbatest/ltl2tgba.cc
@@ -393,6 +393,10 @@ main(int argc, char** argv)
 	    to_free = a = concrete = spot::ltl_to_tgba_lacim(f, dict);
 	}
 
+      spot::tgba_tba_proxy* degeneralized = 0;
+      if (degeneralize_opt)
+	a = degeneralized = new spot::tgba_tba_proxy(a);
+
       spot::tgba_reduc* aut_red = 0;
       if (reduc_aut != spot::Reduce_None)
 	{
@@ -422,15 +426,9 @@ main(int argc, char** argv)
 	    }
 
 	  if (reduc_aut & spot::Reduce_Scc)
-	    {
-	      aut_red->prune_scc();
-	    }
+	    aut_red->prune_scc();
 	}
 
-      spot::tgba_tba_proxy* degeneralized = 0;
-      if (degeneralize_opt)
-	a = degeneralized = new spot::tgba_tba_proxy(a);
-
       spot::tgba_explicit* expl = 0;
       switch (dupexp)
 	{