sepcomp: fix hardening related to the instantiation of dead types
authorJean Privat <jean@pryen.org>
Tue, 26 May 2015 18:43:16 +0000 (14:43 -0400)
committerJean Privat <jean@pryen.org>
Tue, 26 May 2015 18:43:16 +0000 (14:43 -0400)
commitcaad86c674c5f650022a6e9994a4ec132f957976
tree33e17e22818a5395165c805ee9d4566e245a1909
parentaecfd534fa0c8628516192de1e15234effef2d54
sepcomp: fix hardening related to the instantiation of dead types

Signed-off-by: Jean Privat <jean@pryen.org>
src/compiler/separate_compiler.nit