From cd8a202caac232c7a5b05ad11eb5059d9ad3f002 Mon Sep 17 00:00:00 2001
From: Xander <xander@icth.xyz>
Date: Wed, 5 Jul 2023 23:58:42 +0200
Subject: Implementing interrupts (exceptions)

---
 kernel/kernel_prelude.hats | 2 --
 1 file changed, 2 deletions(-)

(limited to 'kernel/kernel_prelude.hats')

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
 
-- 
cgit v1.2.3