-
Alexandre Duret-Lutz authored
* python/spot/__init__.py (to_options): Do not have options explicitely default to to_parity_options(), because that would be instantiated only once.
ed5cccba
* python/spot/__init__.py (to_options): Do not have options explicitely default to to_parity_options(), because that would be instantiated only once.