From 231b3e1809d8dd47821e0733dca1f0c554d7c469 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 18 Mar 2015 16:10:05 +0100
Subject: [PATCH] * src/tgba/tgbagraph.hh: Remove orphaned prototype.

---
 src/tgba/tgbagraph.hh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/tgba/tgbagraph.hh b/src/tgba/tgbagraph.hh
index 607d91f8c..bf8867e98 100644
--- a/src/tgba/tgbagraph.hh
+++ b/src/tgba/tgbagraph.hh
@@ -377,8 +377,6 @@ namespace spot
       return g_.trans_storage(t);
     }
 
-    void set_generalized_buchi(bdd all);
-
     unsigned new_state()
     {
       return g_.new_state();