-
Alexandre Duret-Lutz authored
* spot/twaalgos/sccinfo.cc, spot/twaalgos/sccinfo.hh: Make sure scc_and_mark_filter does not install a filter if there is nothing to filter. * tests/python/genem.py, spot/twaalgos/genem.cc, python/spot/impl.i: Adjust.
0623965b