Verilog: fix for named generate block scopes#1150

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

generate-block-scopediffblue/hw-cbmc:generate-block-scopeCopy head branch name to clipboard