From b6a094c0e3b1b5bef06d932fc73f09aba88a4fda Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 Jul 2020 10:28:15 +0100
Subject: Remove check mpass

---
 src/Compiler.v | 2 --
 1 file changed, 2 deletions(-)

(limited to 'src/Compiler.v')

diff --git a/src/Compiler.v b/src/Compiler.v
index 7b17336..6efd7a2 100644
--- a/src/Compiler.v
+++ b/src/Compiler.v
@@ -88,8 +88,6 @@ Definition transf_backend (r : RTL.program) : res Verilog.program :=
   @@ print print_HTL
   @@ Veriloggen.transl_program.
 
-Check mkpass.
-
 Definition transf_hls (p : Csyntax.program) : res Verilog.program :=
   OK p
   @@@ SimplExpr.transl_program
-- 
cgit