Fix uninitialised collect_callsites field in call_grapht#2186

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/fix/call-graph-uninit-fieldsmowton/cbmc:smowton/fix/call-graph-uninit-fieldCopy head branch name to clipboard