diff options
Diffstat (limited to 'otherlibs/labltk/support/fileevent.ml')
| -rw-r--r-- | otherlibs/labltk/support/fileevent.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/support/fileevent.ml b/otherlibs/labltk/support/fileevent.ml index 4dac902bf..3fd4243dd 100644 --- a/otherlibs/labltk/support/fileevent.ml +++ b/otherlibs/labltk/support/fileevent.ml @@ -29,7 +29,7 @@ external rem_file_output : file_descr -> unit (* File input handlers *) -let fd_table = Hashtbl.create 37 (* Avoid space leak in callback table *) +let fd_table = Hashtbl.create size:37 (* Avoid space leak in callback table *) let add_fileinput :fd callback:f = let id = new_function_id () in |