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

---
 src/kompsos-pretty_print.adb | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'src/kompsos-pretty_print.adb')

diff --git a/src/kompsos-pretty_print.adb b/src/kompsos-pretty_print.adb
index 87131e1..88c13c7 100644
--- a/src/kompsos-pretty_print.adb
+++ b/src/kompsos-pretty_print.adb
@@ -29,6 +29,8 @@ package body Kompsos.Pretty_Print is
     end Image;
 
 
+
+
     function Image
            (Item : in ID_Number)
         return String is
@@ -123,11 +125,11 @@ package body Kompsos.Pretty_Print is
 
 
     function Image
-           (Item : in World)
+           (Item : in Mu_World'Class)
         return String
     is
         Result  : SU.Unbounded_String;
-        Scratch : World := Item;
+        Scratch : Mu_World'Class := Item;
         Counter : Positive := 1;
     begin
         if not Scratch.Has_State (Counter) then
-- 
cgit