-
Etienne Renault authored
Warning! this patch introduces redundancy (or difference) between wether you ask for a kripkecube or a kripke. * spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh: here.
6a4d2237
Warning! this patch introduces redundancy (or difference) between wether you ask for a kripkecube or a kripke. * spot/ltsmin/ltsmin.cc, spot/ltsmin/ltsmin.hh: here.