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