diff options
| author | Xander <xander@icth.xyz> | 2023-07-05 19:30:25 +0200 |
|---|---|---|
| committer | Xander <xander@icth.xyz> | 2023-07-05 19:30:25 +0200 |
| commit | 5ef9221f4dfe78d69247989ef7edc8d3101a5014 (patch) | |
| tree | df76b9e98f51722ed601ba9e5b379eedc680f2c7 /kernel/kernel_prelude.hats | |
| parent | 415f75c275c991949ef7c9d2c62d07e8eba761b5 (diff) | |
| download | ats-os-5ef9221f4dfe78d69247989ef7edc8d3101a5014.tar.xz ats-os-5ef9221f4dfe78d69247989ef7edc8d3101a5014.zip | |
Cleanup
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 |