Use pointer difference type when adding to pointer#2729

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:add-sub-conflicttautschnig/cbmc:add-sub-conflictCopy head branch name to clipboard