alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

python: remove the -nofastproxy option

Browse source 
This was introduced by b893b5597 to work around some IPython 2 issue
(https://github.com/ipython/ipython/issues/7003).

* python/Makefile.am (SWIGFLAGS): Remove obsolete option.
* python/spot/__init__.py: Adjust.
This commit is contained in:
Alexandre Duret-Lutz 2019-05-28 21:40:18 +02:00
parent a85045091b
commit 377285b1d6
2 changed files with 3 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

2
python/spot/__init__.py
View file

@ -1074,7 +1074,7 @@ def bdd_to_formula(b, dic=_bdd_dict):
def language_containment_checker(dic=_bdd_dict):
from spot.impl import language_containment_checker as c
c.contains = lambda this, a, b: c.contained(this, b, a)
c.are_equivalent = c.equal
c.are_equivalent = lambda this, a, b: c.equal(this, a, b)
return c(dic)
def mp_hierarchy_svg(cl=None):