Remove-exceptions: make lambda types explicit#1968

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/cleanup/remove-exceptions-claritysmowton/cbmc:smowton/cleanup/remove-exceptions-clarityCopy head branch name to clipboard