From 4c08e7ec00366539c022258bdd8dfc90bd69cf08 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Wed, 8 Mar 2017 17:33:51 +0100
Subject: [PATCH] python: add bindings for to_generalized_buchi()

* python/spot/impl.i: Here.
* NEWS: Mention it.
---
 NEWS               | 3 ++-
 python/spot/impl.i | 2 ++
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/NEWS b/NEWS
index 3223e7e3e..3c4df348f 100644
--- a/NEWS
+++ b/NEWS
@@ -10,7 +10,8 @@ New in spot 2.3.1.dev (not yet released)
 
   Python:
 
-  - The bdd_to_formula() function can now be called in Python.
+  - The bdd_to_formula(), and to_generalized_buchi() functions can now
+    be called in Python.
 
   Documentation:
 
diff --git a/python/spot/impl.i b/python/spot/impl.i
index 3c700f73c..8c1f11018 100644
--- a/python/spot/impl.i
+++ b/python/spot/impl.i
@@ -134,6 +134,7 @@
 #include <spot/twaalgos/neverclaim.hh>
 #include <spot/twaalgos/randomize.hh>
 #include <spot/twaalgos/remfin.hh>
+#include <spot/twaalgos/totgba.hh>
 #include <spot/twaalgos/strength.hh>
 #include <spot/twaalgos/sccfilter.hh>
 #include <spot/twaalgos/stats.hh>
@@ -535,6 +536,7 @@ def state_is_accepting(self, src) -> "bool":
 %include <spot/twaalgos/neverclaim.hh>
 %include <spot/twaalgos/randomize.hh>
 %include <spot/twaalgos/remfin.hh>
+%include <spot/twaalgos/totgba.hh>
 %include <spot/twaalgos/strength.hh>
 %include <spot/twaalgos/sccfilter.hh>
 %include <spot/twaalgos/stats.hh>