From fc4bc559d3f1ebf056c4afb8280a1ec8f4d90bc2 Mon Sep 17 00:00:00 2001 From: Jedidiah Barber Date: Mon, 17 Nov 2025 15:35:49 +1300 Subject: Lazy Conjunct should properly work for infinite results now --- test/membero.adb | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test/membero.adb') diff --git a/test/membero.adb b/test/membero.adb index bc51c33..89e7f2e 100644 --- a/test/membero.adb +++ b/test/membero.adb @@ -24,10 +24,10 @@ procedure Membero is renames SU.To_Unbounded_String; - package InKomp is new Kompsos (SU.Unbounded_String); - use InKomp; + package SKomp is new Kompsos (SU.Unbounded_String); + use SKomp; - package Printer is new InKomp.Pretty_Print (SU.To_String); + package Printer is new SKomp.Pretty_Print (SU.To_String); Verse : World := Empty_World; -- cgit