diff options
| -rw-r--r-- | src/kompsos-math.adb | 2 | ||||
| -rw-r--r-- | src/kompsos-math.ads | 4 |
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); |