diff options
Diffstat (limited to 'otherlibs/labltk/compiler/intf.ml')
| -rw-r--r-- | otherlibs/labltk/compiler/intf.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/compiler/intf.ml b/otherlibs/labltk/compiler/intf.ml index 489fa3930e..fdeac2edbb 100644 --- a/otherlibs/labltk/compiler/intf.ml +++ b/otherlibs/labltk/compiler/intf.ml @@ -27,7 +27,7 @@ let write_create_p ~w wname = begin try let option = Hashtbl.find types_table "options" in - let classdefs = List.assoc wname option.subtypes in + let classdefs = List.assoc wname ~map:option.subtypes in let tklabels = List.map ~f:gettklabel classdefs in let l = List.map classdefs ~f: begin fun fc -> |