Return pointer from symbol table lookup#1462

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/symbol-table-pointerreuk/cbmc:reuk/symbol-table-pointerCopy head branch name to clipboard