From 0188dfb4d373cc8570222496f7d04cd3ae2774f3 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Fri, 19 Dec 2025 21:51:48 +1300
Subject: Worlds separated into Goals that run on a State, improvement to
 unification efficiency

---
 src/kompsos-pretty_print.ads | 6 +++---
 1 file changed, 3 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 19da0af..653858b 100644
--- a/src/kompsos-pretty_print.ads
+++ b/src/kompsos-pretty_print.ads
@@ -35,14 +35,14 @@ package Kompsos.Pretty_Print is
         return String;
 
     function Image
-           (Item : in World)
+           (Item : in Goal)
         return String;
 
 
 
 
     function Structure_DOT
-           (This : in World;
+           (This : in Goal;
             Name : in String := "")
         return String;
 
@@ -60,7 +60,7 @@ private
 
 
     package DOT_Node_Maps is new Ada.Containers.Ordered_Maps
-       (Key_Type     => World_Component_Access,
+       (Key_Type     => Goal_Component_Access,
         Element_Type => Long_Natural);
 
 
-- 
cgit