From f3cc41e9a2d62c4f90eacd9557922427df939768 Mon Sep 17 00:00:00 2001
From: Humza Shahid <humzasaur@gmail.com>
Date: Thu, 13 Feb 2025 12:06:20 +0000
Subject: [PATCH] add 'env' parameter to gap_map.sml's mapper

---
 src/gap_map.sml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/gap_map.sml b/src/gap_map.sml
index 5130431..9d44709 100644
--- a/src/gap_map.sml
+++ b/src/gap_map.sml
@@ -46,6 +46,7 @@ end
 
 signature MAPPER =
 sig
+  structure Map: MAP
   structure Pair: GAP_MAP_PAIR
 
   type t =
@@ -55,11 +56,12 @@ sig
     , rightVals: Pair.value vector list
     }
 
-  val map: t -> t
+  val map: t * Map.env -> t
 end
 
 functor MakeGapMapMapper(Map: MAP): MAPPER =
 struct
+  structure Map = Map
   structure Pair = Map.Pair
 
   type t =