From 0195650243cf9396ca96a9ae201c5e0d4aee165e Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Sat, 15 Nov 2025 21:33:25 +1300
Subject: GNAT bug workaround

---
 src/kompsos.ads | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/kompsos.ads b/src/kompsos.ads
index 37533be..5a6af5f 100644
--- a/src/kompsos.ads
+++ b/src/kompsos.ads
@@ -433,7 +433,7 @@ private
     end record;
 
     type Term is tagged record
-        Actual : Term_Holders.Holder := Term_Holders.To_Holder (Term_Component'(Kind => Null_Term));
+        Actual : Term_Holders.Holder;
     end record;
 
     Empty_Term : constant Term :=
-- 
cgit