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