From 9444d84a1754cb4dae615533849d71e92c15a6ce Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Thu, 4 Nov 2004 12:57:04 +0000
Subject: [PATCH] * src/tgbaalgos/neverclaim.cc
 (never_claim_bfs::process_link): Adjust prototype.

---
 ChangeLog                   | 3 +++
 src/tgbaalgos/neverclaim.cc | 3 ++-
 2 files changed, 5 insertions(+), 1 deletion(-)

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_)
 	  {