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/fivesix.adb | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'test/fivesix.adb')

diff --git a/test/fivesix.adb b/test/fivesix.adb
index 3eabf6a..b8046af 100644
--- a/test/fivesix.adb
+++ b/test/fivesix.adb
@@ -23,8 +23,8 @@ procedure FiveSix is
     package InPrin is new InKomp.Pretty_Print (Integer'Image);
     use InPrin;
 
-    Fives, Sixes : World := Empty_World;
-    Result : World;
+    Fives, Sixes : Mu_World := Empty_Mu_World;
+    Result : Mu_World;
 
 begin
 
-- 
cgit