Remove unused parameter from list_calls_and_arguments#2440

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:vs-listtautschnig/cbmc:vs-listCopy head branch name to clipboard