diff options
| -rw-r--r-- | src/Experiments/SimplyTypedArithmetic.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Experiments/SimplyTypedArithmetic.v b/src/Experiments/SimplyTypedArithmetic.v index bafe666e4..a8f1e0a13 100644 --- a/src/Experiments/SimplyTypedArithmetic.v +++ b/src/Experiments/SimplyTypedArithmetic.v @@ -1284,7 +1284,7 @@ Module Rows. fold_right (fun next (state : list Z * Z * nat) => let i := snd state in let low_high' := - dlet_nd low_high := fst state in + let low_high := fst state in let low := fst low_high in let high := snd low_high in dlet_nd sum_carry := Z.add_with_get_carry_full (fw i) high (fst next) (snd next) in |