[passes] linearization: merge fix

2022-12-16 09:00:03 +01:00 · 2022-12-16 09:00:03 +01:00 · c7a97f3305
commit c7a97f3305
parent 8d6349dd3f
1 changed files with 1 additions and 1 deletions
--- a/src/passes.ml
+++ b/src/passes.ml
@ -267,7 +267,7 @@ let pass_linearization verbose debug main_fn =
        n_name = node.n_name;
        n_inputs = node.n_inputs;
        n_outputs = node.n_outputs;
-        n_local_vars = node.n_local_vars;
+        n_local_vars = new_locvars;
        n_equations = new_equations;
        n_automata = node.n_automata;
      }