diff options
Diffstat (limited to 'otherlibs/labltk/support/support.ml')
| -rw-r--r-- | otherlibs/labltk/support/support.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/otherlibs/labltk/support/support.ml b/otherlibs/labltk/support/support.ml index ded07ee995..b6cd5e8c32 100644 --- a/otherlibs/labltk/support/support.ml +++ b/otherlibs/labltk/support/support.ml @@ -47,3 +47,7 @@ let maycons f x l = match x with Some x -> f x :: l | None -> l + +(* Get some labels on Hashtbl.add *) +module Hashtbl' = + struct let add tbl ~key ~data = Hashtbl.add tbl key data end |