[CHERIoT] Minor change to fix warning in older clang versions#168

xdoardo wants to merge 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

xdoardo:fix-warning-in-stmtxdoardo/llvm-project:fix-warning-in-stmtCopy head branch name to clipboard