SystemVerilog: ignore default_nettype directive#625

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

default_nettypediffblue/hw-cbmc:default_nettypeCopy head branch name to clipboard