Merge: sepcomp: fix hardening related to the instantiation of dead types
[nit.git] / tests / sav / error_ret_proc.res
1 error_ret_proc.nit:19,9: Error: `return` with value in a procedure.