fixup! Updated dump-C to use the new class#1743

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:dump-c-fixtautschnig/cbmc:dump-c-fixCopy head branch name to clipboard