From c9e156fdc3449d1cbc9dac4176cc460f6462ef18 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Wed, 12 Nov 2025 20:34:24 +1300
Subject: Prelude now derives its own World so dot notation works for those
 subprograms

---
 test/ab.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/ab.adb')

diff --git a/test/ab.adb b/test/ab.adb
index 80b11c3..5df34e2 100644
--- a/test/ab.adb
+++ b/test/ab.adb
@@ -23,8 +23,8 @@ procedure AB is
     package InPrin is new InKomp.Pretty_Print (Integer'Image);
     use InPrin;
 
-    Verse : World := Empty_World;
-    Ref : Variable;
+    Verse : Mu_World := Empty_Mu_World;
+    Ref : Term;
 
 begin
 
-- 
cgit