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

1 files changed, 1 insertions, 1 deletions

diff --git a/test/pprint.adb b/test/pprint.adb
index c42b2c8..e2fe3d4 100644
--- a/test/pprint.adb
+++ b/test/pprint.adb
@@ -50,7 +50,7 @@ begin
 
     TIO.New_Line;
 
-    TIO.Put_Line (Image (Empty_World));
+    TIO.Put_Line (Image (Empty_Goal));
 
 end PPrint;