From 7719622ff4f72769f15a771dc5455dabeff295bc Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Mon, 10 Nov 2025 18:57:08 +1300
Subject: Infinite number of States in a World enabled with lazy evaluation

---
 test/ab.adb | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'test/ab.adb')

diff --git a/test/ab.adb b/test/ab.adb
index a371f2f..80b11c3 100644
--- a/test/ab.adb
+++ b/test/ab.adb
@@ -17,11 +17,11 @@ procedure AB is
     package TIO renames Ada.Text_IO;
 
 
-    package SKomp is new Kompsos (Integer);
-    use SKomp;
+    package InKomp is new Kompsos (Integer);
+    use InKomp;
 
-    package SPrin is new SKomp.Pretty_Print (Integer'Image);
-    use SPrin;
+    package InPrin is new InKomp.Pretty_Print (Integer'Image);
+    use InPrin;
 
     Verse : World := Empty_World;
     Ref : Variable;
-- 
cgit