diff options
author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-01 21:01:00 +0100 |
---|---|---|
committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-05-01 21:01:00 +0100 |
commit | 52ffcb8dd09b3f47e71f2831ce9281d4995d7b7f (patch) | |
tree | 15aa705244ed3c1723819a39edc75bdb8dcd311f /src/hls/Veriloggen.v | |
parent | 90d02fd791e419ea9aab33f82d922e2ec94a9470 (diff) | |
download | vericert-52ffcb8dd09b3f47e71f2831ce9281d4995d7b7f.tar.gz vericert-52ffcb8dd09b3f47e71f2831ce9281d4995d7b7f.zip |
Fix typo bug in applying externctrl
Diffstat (limited to 'src/hls/Veriloggen.v')
-rw-r--r-- | src/hls/Veriloggen.v | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/hls/Veriloggen.v b/src/hls/Veriloggen.v index 68515d0..ff5dee5 100644 --- a/src/hls/Veriloggen.v +++ b/src/hls/Veriloggen.v @@ -121,12 +121,12 @@ Section APPLY_MAPPING. do e' <- expr_apply_map e; do s1' <- stmnt_apply_map s1; do s2' <- stmnt_apply_map s2; - OK (Vcond e s1 s2) + OK (Vcond e' s1' s2') | Vcase e cases def => do e' <- expr_apply_map e; do cases' <- cases_apply_map_ stmnt_apply_map cases; do def' <- mmap_option (fun x => stmnt_apply_map x) def; - OK (Vcase e' cases' None) + OK (Vcase e' cases' def') | Vblock e1 e2 => do e1' <- expr_apply_map e1; do e2' <- expr_apply_map e2; |