Remove unused paramter in cpp_typecheck_resolvet#2414

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-wanttautschnig/cbmc:vs-wantCopy head branch name to clipboard