From a377f9a1a3e3a700914a1acacdb770d2720aff94 Mon Sep 17 00:00:00 2001 From: Cameron Low Date: Fri, 13 Feb 2026 13:02:25 +0000 Subject: [PATCH] Reconstruct match correctly in zip --- src/ecMatching.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ecMatching.ml b/src/ecMatching.ml index b84d8d4302..cdac304de9 100644 --- a/src/ecMatching.ml +++ b/src/ecMatching.ml @@ -293,7 +293,7 @@ module Zipper = struct | ZIfThen (e, sp, se) -> zip (Some (i_if (e, s, se))) sp | ZIfElse (e, se, sp) -> zip (Some (i_if (e, se, s))) sp | ZMatch (e, sp, mpi) -> - zip (Some (i_match (e, mpi.prebr @ (mpi.locals, s) :: mpi.postbr))) sp + zip (Some (i_match (e, List.rev_append mpi.prebr ((mpi.locals, s) :: mpi.postbr)))) sp let zip zpr = zip None ((zpr.z_head, zpr.z_tail), zpr.z_path)