diff options
Diffstat (limited to 'otherlibs/labltk/support/widget.ml')
| -rw-r--r-- | otherlibs/labltk/support/widget.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/support/widget.ml b/otherlibs/labltk/support/widget.ml index 2174fc3cb..883d8624f 100644 --- a/otherlibs/labltk/support/widget.ml +++ b/otherlibs/labltk/support/widget.ml @@ -50,7 +50,7 @@ let forget_type w = (Obj.magic (w : 'a widget) : any widget) let coe = forget_type (* table of widgets *) -let table = (Hashtbl.create 401 : (string, any widget) Hashtbl.t) +let table = (Hashtbl.create size:401 : (string, any widget) Hashtbl.t) let name = function Untyped s -> s |