diff --git a/sledge/nonstdlib/NSMap.ml b/sledge/nonstdlib/NSMap.ml
index dd24084ec..dfb5f70b3 100644
--- a/sledge/nonstdlib/NSMap.ml
+++ b/sledge/nonstdlib/NSMap.ml
@@ -110,6 +110,7 @@ struct
   let choose_exn = M.choose
   let min_binding = M.min_binding_opt
   let max_binding = M.max_binding_opt
+  let max_binding_exn = M.max_binding
   let mem k m = M.mem k m
   let find_exn k m = M.find k m
   let find k m = M.find_opt k m
diff --git a/sledge/nonstdlib/NSMap_intf.ml b/sledge/nonstdlib/NSMap_intf.ml
index 4261452d5..8f1c0c2c2 100644
--- a/sledge/nonstdlib/NSMap_intf.ml
+++ b/sledge/nonstdlib/NSMap_intf.ml
@@ -81,6 +81,7 @@ module type S = sig
 
   val min_binding : 'a t -> (key * 'a) option
   val max_binding : 'a t -> (key * 'a) option
+  val max_binding_exn : 'a t -> key * 'a
   val mem : key -> 'a t -> bool
   val find : key -> 'a t -> 'a option
   val find_exn : key -> 'a t -> 'a