From 91e9202e6317ab3edd22562d659255d63a3fe65d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 20 Oct 2020 18:44:59 +0100
Subject: Finish implementing scheduling and add top level export

---
 driver/VericertDriver.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'driver/VericertDriver.ml')

diff --git a/driver/VericertDriver.ml b/driver/VericertDriver.ml
index 2b8d45f..0362456 100644
--- a/driver/VericertDriver.ml
+++ b/driver/VericertDriver.ml
@@ -98,7 +98,7 @@ let compile_c_file sourcename ifile ofile =
         let loc = file_loc sourcename in
         fatal_error loc "%a"  print_error msg in
     let oc = open_out ofile in
-    Vericert.PrintRTLBlock.print_program oc verilog;
+    Vericert.PrintVerilog.print_program !option_debug_hls oc verilog;
     close_out oc
   end
 
-- 
cgit