diff --git a/python/spot/__init__.py b/python/spot/__init__.py index 9c3c92f67d46e62e0bdb369143e386712a07ce0f..0be5d0ac54dbf4997059532a449c56ea96fa4157 100644 --- a/python/spot/__init__.py +++ b/python/spot/__init__.py @@ -1292,7 +1292,7 @@ class scc_and_mark_filter: self.restore_acceptance() -def to_parity(aut, options = to_parity_options(), **kwargs): +def to_parity(aut, options = None, **kwargs): """Convert aut into a parity acceptance. This procedure combines multiple strategies to attempt to @@ -1306,6 +1306,10 @@ def to_parity(aut, options = to_parity_options(), **kwargs): Note that if you pass both your own options object and kwargs, options will be updated in place. """ + if options is None: + # Can't make this a default option, otherwise the default + # instance would be updated by the kwargs. + options = to_parity_options() if kwargs: for key,val in to_parity_options.__dict__.items(): if not key.startswith('_') and key != "thisown" and key in kwargs: