From ba537886082baf156efe13777457956969c685a1 Mon Sep 17 00:00:00 2001 From: Michalis Pardalos Date: Tue, 9 Feb 2021 12:36:07 +0000 Subject: Reformat --- src/translation/Veriloggen.v | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/translation/Veriloggen.v b/src/translation/Veriloggen.v index 5629b1e..4cfefa2 100644 --- a/src/translation/Veriloggen.v +++ b/src/translation/Veriloggen.v @@ -225,11 +225,11 @@ Section TRANSLATE. Definition called_functions (stmnts : list (Verilog.node * HTL.datapath_stmnt)) : list ident := List.nodup Pos.eq_dec (flat_map (fun (a : (positive * HTL.datapath_stmnt)) => - let (n, stmt) := a in - match stmt with - | HTL.HTLfork fn _ => fn::nil - | _ => nil - end) stmnts). + let (n, stmt) := a in + match stmt with + | HTL.HTLfork fn _ => fn::nil + | _ => nil + end) stmnts). Definition find_module (program : HTL.program) (name : ident) : Errors.res HTL.module := match option_map snd (find (fun named_module => Pos.eqb (fst named_module) name) program.(prog_defs)) with -- cgit