1 files changed, 0 insertions, 21 deletions
diff --git a/kernel/output/print.dats b/kernel/output/print.dats
deleted file mode 100644
index 9b5def0..0000000
--- a/kernel/output/print.dats
+++ /dev/null
@@ -1,21 +0,0 @@
-#include "share/atspre_staload.hats"
-
-#define ATS_DYNLOADFLAG 0
-
-
-staload "kernel/output/writer.sats"
-staload "kernel/itoa.dats"
-
-extern fun print_newline() : void
-implement print_newline() = put_string("\n")
-
-extern fun assert_errmsg(b: bool, msg: string) : void
-implement assert_errmsg(b,msg) = if (~b) then put_string(msg)
-
-extern fun print_int {n : nat | n > 0} (n : int n) : void 
-implement print_int(n) = put_string(itoa(n,10))
- 
-overload print with put_string of 1
-overload print with print_int of 1
-
-macdef assertloc(tf) = assert_errmsg (,(tf), $mylocation)