From 018d1489e6fc0c6363442033abd674f287e6f5cd Mon Sep 17 00:00:00 2001
From: Xander <xander@biltopia.org>
Date: Thu, 27 Jul 2023 23:03:21 +0200
Subject: name change to initializable

---
 lib/DATS/init.dats | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/DATS/init.dats')

diff --git a/lib/DATS/init.dats b/lib/DATS/init.dats
index 3bc5034..492d5dc 100644
--- a/lib/DATS/init.dats
+++ b/lib/DATS/init.dats
@@ -2,8 +2,8 @@ staload "lib/SATS/init.sats"
 
 #define ATS_DYNLOADFLAG 0
 
-implement {vt:viewt@ype} empty (v) =
+implement {vt:viewt@ype} uninitialized (v) =
 let
 in
-  @{enabled = false, obj = v}: enablable vt
+  @{initialized = false, obj = v}: initializable vt
 end
-- 
cgit v1.2.3