diff --git a/python/spot/impl.i b/python/spot/impl.i index 56603e15b..2e86ca721 100644 --- a/python/spot/impl.i +++ b/python/spot/impl.i @@ -493,6 +493,10 @@ namespace std { %include %include %include + /* 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;