diff options
Diffstat (limited to 'otherlibs/labltk/support/protocol.ml')
| -rw-r--r-- | otherlibs/labltk/support/protocol.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/support/protocol.ml b/otherlibs/labltk/support/protocol.ml index 522eab8c1..9d7cb2e1f 100644 --- a/otherlibs/labltk/support/protocol.ml +++ b/otherlibs/labltk/support/protocol.ml @@ -92,10 +92,10 @@ let cTKtoCAMLwidget = function let callback_naming_table = - (Hashtbl.create 401 : (int, callback_buffer -> unit) Hashtbl.t) + (Hashtbl.create size:401 : (int, callback_buffer -> unit) Hashtbl.t) let callback_memo_table = - (Hashtbl.create 401 : (any widget, int) Hashtbl.t) + (Hashtbl.create size:401 : (any widget, int) Hashtbl.t) let new_function_id = let counter = ref 0 in |