* wrap/python/spot_impl.i: Get rid of some warnings about missing typecheck for spot::formula.
Attach a file by drag & drop or click to upload
Alexandre Duret-Lutz authored