Fixed minor Math issues that didn't error until instantiation

2 files changed, 3 insertions, 3 deletions

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;
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);