From f5b51b9346519b68bd45a8bcf6efa854b1f25622 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Fri, 19 Apr 2019 17:38:42 -0400 Subject: [PATCH] code_gen: Adding contracts phase Signed-off-by: Florian Deljarry --- src/frontend/code_gen.nit | 1 + 1 file changed, 1 insertion(+) diff --git a/src/frontend/code_gen.nit b/src/frontend/code_gen.nit index 48f1aa7..43b386f 100644 --- a/src/frontend/code_gen.nit +++ b/src/frontend/code_gen.nit @@ -19,3 +19,4 @@ import frontend import actors_generation_phase import serialization_code_gen_phase import explain_assert +import contracts -- 1.7.9.5