Merge pull request #786 from diffblue/expr2verilog-indexed-part-select

Verilog: fix string generated for indexed part select
diffblue · Oct 29, 2024 · 9b93b39 · 9b93b39
2 parents 96d5018 + 1896ff0
commit 9b93b39
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/verilog/expr2verilog.cpp b/src/verilog/expr2verilog.cpp
@@ -793,6 +793,8 @@ expr2verilogt::resultt expr2verilogt::convert_indexed_part_select(
   else
     dest += '-';
 
+  dest += ':';
+
   dest += convert_rec(src.width()).s;
   dest += ']';