SMV: move checks for duplicate declarations into type checker#1215

tautschnig merged 1 commit intomaindiffblue/hw-cbmc:mainfrom

duplicate-declaration-errorsdiffblue/hw-cbmc:duplicate-declaration-errorsCopy head branch name to clipboard