From 9480669e991d8f7ff513f07a17f069cfe0d97276 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 27 Apr 2015 17:22:08 +0200
Subject: [PATCH] python: export the sat-minimization routines

* wrap/python/spot_impl.i: Here.
---
 wrap/python/spot_impl.i | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/wrap/python/spot_impl.i b/wrap/python/spot_impl.i
index 267e4cf9b..115407809 100644
--- a/wrap/python/spot_impl.i
+++ b/wrap/python/spot_impl.i
@@ -140,6 +140,7 @@ namespace std {
 #include "twaalgos/stutter.hh"
 #include "twaalgos/translate.hh"
 #include "twaalgos/hoa.hh"
+#include "twaalgos/dtgbasat.hh"
 
 #include "hoaparse/public.hh"
 
@@ -282,6 +283,7 @@ using namespace spot;
 %include "twaalgos/stutter.hh"
 %include "twaalgos/translate.hh"
 %include "twaalgos/hoa.hh"
+%include "twaalgos/dtgbasat.hh"
 
 %include "hoaparse/public.hh"