alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

work around another swig4 change

Browse source 
* python/spot/impl.i: Make sure spot::acc_cond::mark_t::operator<<
exceptions are not ignored.
This commit is contained in:
Alexandre Duret-Lutz 2019-06-01 22:27:06 +02:00
parent bae8be9333
commit 4a5259d1fa
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
python/spot/impl.i
View file

@ -491,6 +491,10 @@ namespace std {
%include <spot/twa/bddprint.hh>
%include <spot/twa/formula2bdd.hh>
%include <spot/twa/fwd.hh>
/* These operators may raise exceptions, and we do not
want Swig4 to convert those exceptions to NotImplemented. */
%nopythonmaybecall spot::acc_cond::mark_t::operator<<;
%nopythonmaybecall spot::acc_cond::mark_t::operator>>;
%implicitconv spot::acc_cond::mark_t;
%implicitconv spot::acc_cond::acc_code;
%feature("flatnested") spot::acc_cond::mark_t;