From 981b6238573548b696d0a4a50eb7605387245c0b Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Wed, 1 Apr 2020 19:24:29 +0100 Subject: Update compilation --- src/extraction/Extraction.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/extraction') diff --git a/src/extraction/Extraction.v b/src/extraction/Extraction.v index 4403019..c7ebf8e 100644 --- a/src/extraction/Extraction.v +++ b/src/extraction/Extraction.v @@ -166,7 +166,7 @@ Set Extraction AccessOpaque. Cd "src/Extraction". Separate Extraction - Verilog.verilog Verilog.valueToZ coqup.Compiler.transf_hls + Verilog.module Verilog.valueToZ coqup.Compiler.transf_hls Compiler.transf_c_program Compiler.transf_cminor_program Cexec.do_initial_state Cexec.do_step Cexec.at_final_state -- cgit