Infinite number of States in a World enabled with lazy evaluation

1 files changed, 4 insertions, 4 deletions

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;