From f7e9951c08ac658537811d214c88d855a7e2c907 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Sun, 18 Oct 2020 18:14:52 +0100
Subject: Add renumbering to compiler passes

---
 src/Compiler.v | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/Compiler.v')

diff --git a/src/Compiler.v b/src/Compiler.v
index 7a99bdb..ff8c523 100644
--- a/src/Compiler.v
+++ b/src/Compiler.v
@@ -109,6 +109,7 @@ Definition transf_hls_temp (p : Csyntax.program) : res RTLBlock.program :=
   @@@ Cminorgen.transl_program
   @@@ Selection.sel_program
   @@@ RTLgen.transl_program
+  @@ Renumber.transf_program
   @@ print (print_RTL 0)
   @@@ RTLBlockgen.transl_program.
 
-- 
cgit