Fix errors emitted by C++2a compiler#1973

kroening merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

karkhaz:kk-c++2a-fixeskarkhaz/cbmc:kk-c++2a-fixesCopy head branch name to clipboard