From 906a3d948b334172e02381ea7af4cbd40aa84abc Mon Sep 17 00:00:00 2001
From: Arnaud DABY-SEESARAM <ds-ac@crans.org>
Date: Mon, 19 Dec 2022 12:20:03 +0100
Subject: [PATCH] [oups] forgot a pattern matching

---
 src/passes.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/passes.ml b/src/passes.ml
index 23749f6..43d0e94 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -225,7 +225,7 @@ let pass_linearization_pre verbose debug =
     (** Applies the previous function to the expressions of every equation. *)
     let new_equations, new_locvars =
       List.fold_left
-        (fun (eqs, vars) eq ->
+        (fun (eqs, vars) (patt, expr) ->
           let eqs', vars, expr = pre_aux_expression vars expr in
           (patt, expr)::eqs' @ eqs, vars)
         ([], node.n_local_vars)