X-Git-Url: http://nitlanguage.org

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