diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/kompsos-math.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kompsos-math.adb b/src/kompsos-math.adb index d910fef..d46fe5d 100644 --- a/src/kompsos-math.adb +++ b/src/kompsos-math.adb @@ -510,7 +510,7 @@ package body Kompsos.Math is A_Var : constant Term := Outputs (5).Fresh; C_Var : constant Term := Outputs (5).Fresh; begin - Outputs (5).Unify (T (A_Var, C_Var), Sum_Term); + Outputs (5).Unify (T (A_Var, T (C_Var, Empty_Term)), Sum_Term); Full_Adder (Outputs (5), Cin_Term & T (One_Element) & T (One_Element) & A_Var & C_Var); end; |