diff --git a/ChangeLog b/ChangeLog
index 404bf2b4f..6af1b26f9 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-11-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* src/tgbaalgos/emptiness.cc (print_tgba_run): Output the
+	labels as formulae rather than bdd sets.
+
 2004-11-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/tgbaalgos/gtec/ce.cc (couvreur99_check_result::accepting_path):
diff --git a/src/tgbaalgos/emptiness.cc b/src/tgbaalgos/emptiness.cc
index cffd9428e..90a96291f 100644
--- a/src/tgbaalgos/emptiness.cc
+++ b/src/tgbaalgos/emptiness.cc
@@ -61,7 +61,7 @@ namespace spot
       {
 	os << "  " << a->format_state(i->s) << std::endl;
 	os << "  |  ";
-	bdd_print_set(os, d, i->label);
+	bdd_print_formula(os, d, i->label);
 	os << "\t";
 	bdd_print_accset(os, d, i->acc);
 	os << std::endl;
@@ -72,7 +72,7 @@ namespace spot
       {
 	os << "  " << a->format_state(i->s) << std::endl;
 	os << "  |  ";
-	bdd_print_set(os, d, i->label);
+	bdd_print_formula(os, d, i->label);
 	os << "\t";
 	bdd_print_accset(os, d, i->acc);
 	os << std::endl;