diff --git a/ChangeLog b/ChangeLog
index ef0a7b857..0c3f86771 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,8 @@
+2008-06-11  Alexandre Duret-Lutz  <adl@lrde.epita.fr>
+
+	* src/internal/formula.hh (formula::hash): Remove the const
+	qualifier from the return type, GCC 4.3.1 gicomplains.
+
 2008-06-02  Guillaume SADEGH  <sadegh@lrde.epita.fr>
 
 	Test suite for the NipsVM front-end.
diff --git a/src/internal/formula.hh b/src/internal/formula.hh
index ca9466dfc..e0f3ca787 100644
--- a/src/internal/formula.hh
+++ b/src/internal/formula.hh
@@ -1,4 +1,4 @@
-// Copyright (C) 2003, 2004, 2005  Laboratoire d'Informatique de Paris 6 (LIP6),
+// Copyright (C) 2003, 2004, 2005, 2008  Laboratoire d'Informatique de Paris 6 (LIP6),
 // département Systèmes Répartis Coopératifs (SRC), Université Pierre
 // et Marie Curie.
 //
@@ -70,7 +70,7 @@ namespace spot
       const std::string& dump() const;
 
       /// Return a hash_key for the formula.
-      const size_t
+      size_t
       hash() const
       {
 	return hash_key_;