From 67ef9b5316b6550c3386ae095197ea513ed7dfbb Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jun 2024 14:56:42 +0200
Subject: Cleanup a bit

---
 compiler/InterpreterLoopsMatchCtxs.ml | 10 +---------
 1 file changed, 1 insertion(+), 9 deletions(-)

(limited to 'compiler/InterpreterLoopsMatchCtxs.ml')

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
-- 
cgit v1.2.3