Fix location of show-symbol-table#1599

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

NathanJPhillips:move-show-symbol-table-from-module-passNathanJPhillips/cbmc:move-show-symbol-table-from-module-passCopy head branch name to clipboard