• Alexandre Duret-Lutz's avatar
    remprop: reset no-terminal property · 74786324
    Alexandre Duret-Lutz authored
    Reported by Yong Li.
    
    * spot/twaalgos/remprop.cc: Here.
    * tests/python/removeap.py: New test case.
    * tests/Makefile.am: Add it.
    * NEWS: Document the issue.
    * THANKS: Add Yong Li.
    74786324
remprop.cc 4.94 KB