From 57dd9c1aa4244daca2dd95f145be1240cadd2774 Mon Sep 17 00:00:00 2001
From: Arnaud DABY-SEESARAM <ds-ac@crans.org>
Date: Fri, 16 Dec 2022 14:16:00 +0100
Subject: [PATCH] [passes] linearozation: avoir duplication of variables

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

diff --git a/src/passes.ml b/src/passes.ml
index e1ae5a9..2918d32 100644
--- a/src/passes.ml
+++ b/src/passes.ml
@@ -257,7 +257,7 @@ let pass_linearization verbose debug main_fn =
       List.fold_left
         (fun (eqs, vars) eq ->
           let es, vs = pre_aux_equation vars eq in
-          es @ eqs, ((fst vs) @ (fst vars), (snd vs) @ (snd vars)))
+          es @ eqs, vars)
         ([], node.n_local_vars)
         new_equations
       in