diff options
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; |