fix the placement of a dlet to make more sense

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