From 19fede7478c59780e990b196333bd4d33ce44ace Mon Sep 17 00:00:00 2001 From: Jacques Garrigue Date: Mon, 3 Apr 2000 01:57:52 +0000 Subject: passage aux labels legers git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- otherlibs/labltk/browser/useunix.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'otherlibs/labltk/browser/useunix.ml') diff --git a/otherlibs/labltk/browser/useunix.ml b/otherlibs/labltk/browser/useunix.ml index 9d29cc050..056bd6709 100644 --- a/otherlibs/labltk/browser/useunix.ml +++ b/otherlibs/labltk/browser/useunix.ml @@ -38,7 +38,7 @@ let is_directory name = with _ -> false let get_directories_in_files :path = - List.filter pred:(fun x -> is_directory (path ^ "/" ^ x)) + List.filter f:(fun x -> is_directory (path ^ "/" ^ x)) (************************************************** Subshell call *) let subshell :cmd = -- cgit v1.2.3-70-g09d2