Merge: sepcomp: fix hardening related to the instantiation of dead types
[nit.git] / tests / sav / base_label_while2.res
2014-07-16 Jean Privattests: add base_label_while2.nit for anonymous labels