diff --git a/ChangeLog b/ChangeLog
index 8a9e84ab0..be83b3bd7 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,18 +1,19 @@
-2003-10-06  Rachid REBIHA  <rebiha@nyx>
+2003-10-08  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/Makefile.am (XFAIL_TESTS): Remove.
+
+2003-10-06  Rachid REBIHA  <rebiha@src.lip6.fr>
 
 	* iface/gspn/ltlgspn.cc: We call tgba_emptiness_check before
 	counter_example. And we print the prefix and the periode of
 	counter_example's result.
-
 	* src/tgbatest/emptinesscheckexplicit.cc (main):
 	We call tgba_emptiness_check before counter_example.
 	* src/tgbatest/emptinesscheck.cc (main):
 	We call tgba_emptiness_check before counter_example.
-
 	* src/tgbaalgos/emptinesscheck.hh (spot):
 	(spot::print_result): New methode to print the prefix and the
 	periode of counter_example's result.
-
 	* src/tgbaalgos/emptinesscheck.cc (spot): counter_example doesn't
 	call tgba_emptiness_check. counter_example must be executed after
 	calling tgba_emptiness_check.  Remove tgba_emptiness_check calls.
diff --git a/iface/gspn/Makefile.am b/iface/gspn/Makefile.am
index 33bce6cfa..d445b188c 100644
--- a/iface/gspn/Makefile.am
+++ b/iface/gspn/Makefile.am
@@ -71,7 +71,6 @@ TESTS = \
   udcseltl.test \
   udcsfm.test \
   udcsefm.test
-XFAIL_TESTS = udcseltl.test udcsefm.test
 
 # Each test case depends on defs.
 check_SCRIPTS = defs