diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-09 12:36:07 +0000 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-02-09 12:36:07 +0000 |
| commit | ba537886082baf156efe13777457956969c685a1 (patch) | |
| tree | a8095f70eb2082607d5e5bdfee569d789e3e394f /src | |
| parent | c185a7d19bc1f5fb6943dc276ea8d7bfadc6fb7b (diff) | |
| download | vericert-ba537886082baf156efe13777457956969c685a1.tar.gz vericert-ba537886082baf156efe13777457956969c685a1.zip | |
Reformat
Diffstat (limited to 'src')
| -rw-r--r-- | src/translation/Veriloggen.v | 10 |
1 files changed, 5 insertions, 5 deletions
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 |