From b01a5f6a89149ff67a00f38cb8b2e99eecdc6c74 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Wed, 1 Jul 2020 15:53:52 -0400 Subject: [PATCH] erasure_compiler: Add contract phase dependency Signed-off-by: Florian Deljarry --- src/compiler/separate_erasure_compiler.nit | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/compiler/separate_erasure_compiler.nit b/src/compiler/separate_erasure_compiler.nit index 635e601..813e7fb 100644 --- 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 -- 1.7.9.5