From b298df2ab17f82e7ee113d9570df0a82fda53b17 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Sun, 29 Mar 2020 22:36:50 +0100 Subject: Rename to transf_program --- src/translation/Veriloggen.v | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/translation/Veriloggen.v') diff --git a/src/translation/Veriloggen.v b/src/translation/Veriloggen.v index dbf1c80..41e7359 100644 --- a/src/translation/Veriloggen.v +++ b/src/translation/Veriloggen.v @@ -211,7 +211,7 @@ Fixpoint main_module (main : ident) (flist : list (ident * AST.globdef moddecl u | nil => None end. -Definition transf_function (d : design) : Errors.res verilog := +Definition transf_program (d : design) : Errors.res verilog := match main_module d.(AST.prog_main) d.(AST.prog_defs) with | Some m => transf_module m | _ => Errors.Error (Errors.msg "Could not find main module") -- cgit