From 72faae829a789664eedbda930cf815663c41c591 Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 15 Nov 2025 08:03:12 +1300
Subject: Prelude combined into base, lazy Conjunct kinda working but still
 loops in some circumstances

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

(limited to 'test/ab.adb')

diff --git a/test/ab.adb b/test/ab.adb
index 5df34e2..3ca2fee 100644
--- a/test/ab.adb
+++ b/test/ab.adb
@@ -23,7 +23,7 @@ procedure AB is
     package InPrin is new InKomp.Pretty_Print (Integer'Image);
     use InPrin;
 
-    Verse : Mu_World := Empty_Mu_World;
+    Verse : World := Empty_World;
     Ref : Term;
 
 begin
-- 
cgit