diff --git a/apps/page_mapping/src/main.c b/apps/page_mapping/src/main.c index 645a9d62..3874a9dd 100644 --- a/apps/page_mapping/src/main.c +++ b/apps/page_mapping/src/main.c @@ -226,7 +226,7 @@ bench_proc(int argc UNUSED, char *argv[]) } #else seL4_ARCH_PageTable_Unmap(i); - ZF_LOGF_IFERR(err, "ummap page table\n"); + ZF_LOGF_IFERR(err, "ummap page table\n"); #endif }