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

Verilog: fix string generated for indexed part select

Author: tautschnig

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 += ']';