From 203222f4ffbdaf23a30ab390a7ad765cfef0c008 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sun, 16 Nov 2025 20:09:18 +1300
Subject: Variable counting handled properly on a per-State basis

---
 src/kompsos-pretty_print.ads | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

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

diff --git a/src/kompsos-pretty_print.ads b/src/kompsos-pretty_print.ads
index bf0b9d7..bcaf86e 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -14,16 +14,16 @@ package Kompsos.Pretty_Print is
 
 
     function Image
-           (Item : in Variable)
+           (Item : in Term)
         return String;
 
 
     function Image
-           (Item : in Term)
+           (Item : in out World)
         return String;
 
 
-    function Image
+    function Image_Constant
            (Item : in World)
         return String;
 
@@ -41,6 +41,11 @@ private
         return String;
 
 
+    function Image
+           (Item : in Variable)
+        return String;
+
+
     function Image
            (Item : in State)
         return String;
-- 
cgit