diff options
Diffstat (limited to 'kernel/main.dats')
| -rw-r--r-- | kernel/main.dats | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/main.dats b/kernel/main.dats index 2a89603..94955ee 100644 --- a/kernel/main.dats +++ b/kernel/main.dats @@ -14,6 +14,7 @@ staload UN = "prelude/SATS/unsafe.sats" } %} + extern castfn char_arr2string {n:nat} (arr : &(@[char][n])) : string n extern fun breakpoint() :void = "mac#" |