diff --git a/ChangeLog b/ChangeLog
index 9b90b64aa..aa30a38e5 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2004-08-10  Alexandre Duret-Lutz  <adl@src.lip6.fr>
+
+	* iface/gspn/ltlgspn.cc: Fix a gcc warning in case assert() is
+	disabled.
+
 2004-08-09  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
 	* src/ltlvisit/apcollect.cc, src/ltlvisit/apcollect.hh: New files,
diff --git a/iface/gspn/ltlgspn.cc b/iface/gspn/ltlgspn.cc
index 536f8bc48..917de45e3 100644
--- a/iface/gspn/ltlgspn.cc
+++ b/iface/gspn/ltlgspn.cc
@@ -239,6 +239,9 @@ main(int argc, char **argv)
 #endif
 	      default:
 		assert(0);
+		// Assign something so that GCC does not complains
+		// EC might be used uninitialized if assert is disabled.
+		ec = 0;
 	      }
 
 	    bool res = ec->check();