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.adb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/kompsos-math.adb b/src/kompsos-math.adb
index 2c2ddf8..d910fef 100644
--- a/src/kompsos-math.adb
+++ b/src/kompsos-math.adb
@@ -163,7 +163,7 @@ package body Kompsos.Math is
         Result : Goal := This;
         Ref_Term : constant Term := Result.Fresh;
     begin
-        Result.Tail (Num_Term & Ref_Term);
+        Result.Tail (Term (Num_Term) & Ref_Term);
         Result.Pair (Ref_Term);
         return Result;
     end GT_One;
-- 
cgit