-
Alexandre Duret-Lutz authored
Doing so also work around some differences between Swig 3.0.2 and 3.0.7 observed on our build farm. * wrap/python/spot.py: Here. * wrap/python/spot_impl.i: Recognize None as a null formula on input.
337925c9
Doing so also work around some differences between Swig 3.0.2 and 3.0.7 observed on our build farm. * wrap/python/spot.py: Here. * wrap/python/spot_impl.i: Recognize None as a null formula on input.