Merge: sepcomp: fix hardening related to the instantiation of dead types
[nit.git] / tests / base_inheritance.nit
2012-11-20 Jean Privattests: add 3 old uncommitted tests