diff --git a/ChangeLog b/ChangeLog
index be018aac8..67a1e69be 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2009-10-28  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/ltlast/formula_tree.cc (instanciate, arity): Add a useless
+	return 0 at the end to prevent g++ 4.2.3 from complaining about
+	a missing return.  Reported by Denis Poitrenaud.
+
 2009-10-23  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
 
 	* src/tgbatest/kv.test: Don't run valgrind on dot!
diff --git a/src/ltlast/formula_tree.cc b/src/ltlast/formula_tree.cc
index 09f8eac32..ddd199ede 100644
--- a/src/ltlast/formula_tree.cc
+++ b/src/ltlast/formula_tree.cc
@@ -58,6 +58,7 @@ namespace spot
 
 	/* Unreachable code.  */
 	assert(0);
+	return 0;
       }
 
       size_t
@@ -82,6 +83,7 @@ namespace spot
 
 	/* Unreachable code.  */
 	assert(0);
+	return 0;
       }
     }
   }