From 72faae829a789664eedbda930cf815663c41c591 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 15 Nov 2025 08:03:12 +1300
Subject: Prelude combined into base, lazy Conjunct kinda working but still
 loops in some circumstances

---
 src/kompsos-pretty_print.adb | 4 ++--
 1 file changed, 2 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 88c13c7..7ecbb75 100644
--- a/src/kompsos-pretty_print.adb
+++ b/src/kompsos-pretty_print.adb
@@ -125,11 +125,11 @@ package body Kompsos.Pretty_Print is
 
 
     function Image
-           (Item : in Mu_World'Class)
+           (Item : in World)
         return String
     is
         Result  : SU.Unbounded_String;
-        Scratch : Mu_World'Class := Item;
+        Scratch : World := Item;
         Counter : Positive := 1;
     begin
         if not Scratch.Has_State (Counter) then
-- 
cgit