-
Etienne Renault authored
This commit fixes a bug that (randomly) occurs when calling destructor of kripkecube. * spot/ltsmin/spins_kripke.hxx: here.
c35eb2b4
This commit fixes a bug that (randomly) occurs when calling destructor of kripkecube. * spot/ltsmin/spins_kripke.hxx: here.