-
Alexandre Duret-Lutz authored
* src/tgbaalgos/postproc.cc: Here. Otherwise, reading a neverclaim with autfilt would loose the SBA property and degeneralize again.
604971d6
* src/tgbaalgos/postproc.cc: Here. Otherwise, reading a neverclaim with autfilt would loose the SBA property and degeneralize again.