diff options
Diffstat (limited to 'otherlibs/labltk/browser/searchpos.ml')
-rw-r--r-- | otherlibs/labltk/browser/searchpos.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/otherlibs/labltk/browser/searchpos.ml b/otherlibs/labltk/browser/searchpos.ml index 59d61407a..5aa58e814 100644 --- a/otherlibs/labltk/browser/searchpos.ml +++ b/otherlibs/labltk/browser/searchpos.ml @@ -67,8 +67,8 @@ let rec list_of_path = function (* a simple wrapper *) -class buffer :len = object - val buffer = Buffer.create len +class buffer :size = object + val buffer = Buffer.create :size method out :buf = Buffer.add_substring buffer buf method get = Buffer.contents buffer end @@ -225,7 +225,7 @@ type module_widgets = mw_edit: Widget.button Widget.widget; mw_intf: Widget.button Widget.widget } -let shown_modules = Hashtbl.create 17 +let shown_modules = Hashtbl.create size:17 let filter_modules () = Hashtbl.iter shown_modules fun: begin fun :key :data -> @@ -457,7 +457,7 @@ and view_decl_menu lid :kind :env :parent = command:(fun () -> view_decl lid :kind :env); end; if kind = `Type or kind = `Modtype then begin - let buf = new buffer len:60 in + let buf = new buffer size:60 in let (fo,ff) = Format.get_formatter_output_functions () and margin = Format.get_margin () in Format.set_formatter_output_functions out:buf#out flush:(fun () -> ()); @@ -552,7 +552,7 @@ let view_type_menu kind :env :parent = end; begin match kind with `Module _ | `Class _ -> () | `Exp(_, ty) -> - let buf = new buffer len:60 in + let buf = new buffer size:60 in let (fo,ff) = Format.get_formatter_output_functions () and margin = Format.get_margin () in Format.set_formatter_output_functions out:buf#out flush:(fun () -> ()); |