diff --git a/ChangeLog b/ChangeLog
index 27fc4a3d5..ed123fdad 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,8 @@
 2004-11-04  Alexandre Duret-Lutz  <adl@src.lip6.fr>
 
+	* src/tgbaalgos/neverclaim.cc (never_claim_bfs::process_link):
+	Adjust prototype.
+
 	* src/tgba/tgba.hh, src/tgba/tgba.cc
 	(tgba::number_of_acceptance_conditions): New method.
 	* src/tgbaalgos/lbtt.cc (lbtt_bfs::lbtt_bfs): Use it.
diff --git a/src/tgbaalgos/neverclaim.cc b/src/tgbaalgos/neverclaim.cc
index 6ade239a2..ad3c0b2fd 100644
--- a/src/tgbaalgos/neverclaim.cc
+++ b/src/tgbaalgos/neverclaim.cc
@@ -158,7 +158,8 @@ namespace spot
        }
 
       void
-      process_link(int in, int out, const tgba_succ_iterator* si)
+      process_link(const state*, int in, const state*, int out,
+		   const tgba_succ_iterator* si)
       {
 	if (in != accept_all_)
 	  {