Remove unnecessary size_t -> unsigned cast#6051

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:unnecessary-casttautschnig/cbmc:unnecessary-castCopy head branch name to clipboard