erasure_compiler: Add contract phase dependency

Signed-off-by: Florian Deljarry <deljarry.florian@gmail.com>

diff --git a/src/compiler/separate_erasure_compiler.nit b/src/compiler/separate_erasure_compiler.nit
index 635e601..813e7fb 100644 (file)
--- a/src/compiler/separate_erasure_compiler.nit
+++ b/src/compiler/separate_erasure_compiler.nit
@@ -46,7 +46,7 @@ redef class ToolContext
                end
        end
 
-       var erasure_compiler_phase = new ErasureCompilerPhase(self, null)
+       var erasure_compiler_phase = new ErasureCompilerPhase(self, [contracts_phase])
 end
 
 class ErasureCompilerPhase