diff options
Diffstat (limited to 'kernel/kernel_prelude.hats')
| -rw-r--r-- | kernel/kernel_prelude.hats | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/kernel_prelude.hats b/kernel/kernel_prelude.hats index 048cba1..683b2d5 100644 --- a/kernel/kernel_prelude.hats +++ b/kernel/kernel_prelude.hats @@ -8,5 +8,7 @@ val () = clear_screen() staload "kernel/output/print.dats" +castfn i2u8 {n: nat} (i: int n): uint8 n + #endif |