nitg-se: fixed bug in subtyping type with phmod
authorAlexandre Terrasa <alexandre@moz-code.org>
Tue, 26 Feb 2013 23:21:15 +0000 (18:21 -0500)
committerAlexandre Terrasa <alexandre@moz-code.org>
Mon, 4 Mar 2013 18:20:01 +0000 (13:20 -0500)
commit7bf6f717a41a5fbf1034ce649d27ca62c3182119
tree805c761f6ef0d14d361017cc1cbf97a959f11966
parent35ade32b154f3817a9a77b84382375c8f89d3876
nitg-se: fixed bug in subtyping type with phmod

Signed-off-by: Alexandre Terrasa <alexandre@moz-code.org>
src/separate_erasure_compiler.nit