diff --git a/python/spot/impl.i b/python/spot/impl.i index c8b86a160..e3936660c 100644 --- a/python/spot/impl.i +++ b/python/spot/impl.i @@ -491,6 +491,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;