diff options
Diffstat (limited to 'src/translation/Veriloggen.v')
-rw-r--r-- | src/translation/Veriloggen.v | 2 |
1 files changed, 1 insertions, 1 deletions
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") |