From 8a8fcf2ac1b2cedf7e0054502cff28686cacbe3a Mon Sep 17 00:00:00 2001 From: Etienne Renault Date: Mon, 10 Oct 2016 13:22:25 +0200 Subject: [PATCH] spot.ltsmin: fix errors on Darwin * NEWS, python/spot/ltsmin.i: here. --- NEWS | 9 ++++++--- python/spot/ltsmin.i | 3 ++- 2 files changed, 8 insertions(+), 4 deletions(-) diff --git a/NEWS b/NEWS index 66645c547..543517055 100644 --- a/NEWS +++ b/NEWS @@ -16,10 +16,10 @@ New in spot 2.1.1.dev (not yet released) Bug fixes: - - Fix spurious uninitialized read reported by valgrind when + * Fix spurious uninitialized read reported by valgrind when is_Kleene_star() is compiled by clang++. - - Using "ltlfilt some-large-file --some-costly-filter" could take + * Using "ltlfilt some-large-file --some-costly-filter" could take to a lot of time before displaying the first results, because the output of ltlfilt is buffered: the buffer had to fill up before being flushed. The issue did not manifest when the input is @@ -27,7 +27,10 @@ New in spot 2.1.1.dev (not yet released) should flush std::cout; however it was well visible when reading from files. Flushing is now done more regularly. - - Fix compilation warnings when -Wimplicit-fallthrough it enabled. + * Fix compilation warnings when -Wimplicit-fallthrough it enabled. + + * Fix python errors on Darwin when using methods from the spot module + inside of the spot.ltsmin submodule. New in spot 2.1.1 (2016-09-20) diff --git a/python/spot/ltsmin.i b/python/spot/ltsmin.i index 2a8f110dd..ae81916b8 100644 --- a/python/spot/ltsmin.i +++ b/python/spot/ltsmin.i @@ -26,7 +26,8 @@ %module(package="spot", director="1") ltsmin %include "std_string.i" -%include "std_set.i" +%include "exception.i" +%import(module="spot.impl") "std_set.i" %include "std_shared_ptr.i" %shared_ptr(spot::bdd_dict)