[CHERIoT] Add missing case for newly introduced `cheriot_sealed` attribute in type printer#162

xdoardo merged 1 commit intoCHERIoT-Platform:cheriotCHERIoT-Platform/llvm-project:cheriotfrom

xdoardo:fix-missing-case-in-type-printerxdoardo/llvm-project:fix-missing-case-in-type-printerCopy head branch name to clipboard