From 8210373fe4e6560475e55c599dd22df28f48785d Mon Sep 17 00:00:00 2001
From: Jedidiah Barber <contact@jedbarber.id.au>
Date: Fri, 2 Jan 2026 11:06:12 +1300
Subject: Fixed minor Math issues that didn't error until instantiation

---
 src/kompsos-math.ads | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/kompsos-math.ads')

diff --git a/src/kompsos-math.ads b/src/kompsos-math.ads
index 49f5f8f..adf48d2 100644
--- a/src/kompsos-math.ads
+++ b/src/kompsos-math.ads
@@ -355,8 +355,8 @@ package Kompsos.Math is
 private
 
 
-    Zero_Term : constant Term := Build (0);
-    One_Term  : constant Term := Build (1);
+    Zero_Term : constant Term := Empty_Term;
+    One_Term  : constant Term := T (T (One_Element), Empty_Term);
 
 
 
-- 
cgit