Merge: sepcomp: fix hardening related to the instantiation of dead types
[nit.git] / tests / sav / nit_args2.res
2013-03-14 Jean Privattests: add a basic interpretation