From 826b9d2dad1031a3eca29dd2fb8b6643e53e5fc1 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sun, 14 Dec 2025 19:53:01 +1300
Subject: Core rewritten with memoisation, but somehow Zebra example is bugged

---
 src/kompsos-pretty_print.ads | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

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

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index 73e50db..1316d5a 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -29,16 +29,11 @@ package Kompsos.Pretty_Print is
 
 
     function Image
-           (Items : in State_Array)
+           (Item : in State_Array)
         return String;
 
 
     function Image
-           (Item : in out World)
-        return String;
-
-
-    function Image_Constant
            (Item : in World)
         return String;
 
@@ -47,7 +42,7 @@ private
 
 
     function Image
-           (Item : in ID_Number)
+           (Item : in Long_Natural)
         return String;
 
 
-- 
cgit