diff --git a/ChangeLog b/ChangeLog
index 78c942e17..4f1db1be2 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-01-16  Guillaume Sadegh  <sadegh@lrde.epita.fr>
+
+	* src/saba/sabacomplementtgba.cc: Fix a bug.
+
 2010-01-16  Damien Lefortier <dam@lrde.epita.fr>
 
 	Use taa_tgba_formula instead of taa_tgba_string in ltl_to_taa to
diff --git a/src/saba/sabacomplementtgba.cc b/src/saba/sabacomplementtgba.cc
index 1d96e3cd2..0578ace60 100644
--- a/src/saba/sabacomplementtgba.cc
+++ b/src/saba/sabacomplementtgba.cc
@@ -1,4 +1,4 @@
-// Copyright (C) 2009  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2009, 2010  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -228,6 +228,9 @@ namespace spot
         // Make the conjunction with ranks.
         std::vector<int> current_ranks(state_list.size(), max_rank);
 
+        if (state_list.empty())
+          return;
+
         do
         {
           explicit_state_conjunction* conj = new explicit_state_conjunction();