Worlds separated into Goals that run on a State, improvement to unification efficiencyHEADmaster

1 files changed, 3 insertions, 3 deletions

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);