From: Florian Deljarry <deljarry.florian@gmail.com>
Date: Wed, 1 Jul 2020 19:53:11 +0000 (-0400)
Subject: separate_compiler: Add contract phase dependency
X-Git-Url: http://nitlanguage.org

separate_compiler: Add contract phase dependency

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

diff --git a/src/compiler/separate_compiler.nit b/src/compiler/separate_compiler.nit
index 4fa8fd8..38bc466 100644
--- a/src/compiler/separate_compiler.nit
+++ b/src/compiler/separate_compiler.nit
@@ -97,7 +97,7 @@ redef class ToolContext
 		end
 	end
 
-	var separate_compiler_phase = new SeparateCompilerPhase(self, null)
+	var separate_compiler_phase = new SeparateCompilerPhase(self, [contracts_phase])
 end
 
 class SeparateCompilerPhase