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

---
 test/pprint.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/pprint.adb')

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