Visual Studio recognises `__nullptr` in C++ mode#8624

tautschnig merged 1 commit intodevelopdiffblue/cbmc:developfrom

vs-nullptrdiffblue/cbmc:vs-nullptrCopy head branch name to clipboard