1 files changed, 1 insertions, 9 deletions
diff --git a/compiler/InterpreterLoopsMatchCtxs.ml b/compiler/InterpreterLoopsMatchCtxs.ml
index bc39d5ec..3f7c023e 100644
--- a/compiler/InterpreterLoopsMatchCtxs.ml
+++ b/compiler/InterpreterLoopsMatchCtxs.ml
@@ -837,15 +837,7 @@ module MakeJoinMatcher (S : MatchJoinState) : PrimMatcher = struct
         in
         (* Add a marker to the abstraction indicating the provenance of the value *)
         let pm = if value_is_left then PLeft else PRight in
-        let absl =
-          List.map
-            (fun abs ->
-              {
-                abs with
-                avalues = List.map (add_marker_avalue span ctx0 pm) abs.avalues;
-              })
-            absl
-        in
+        let absl = List.map (abs_add_marker span ctx0 pm) absl in
         push_absl absl;
         (* Return [Bottom] *)
         mk_bottom span v.ty