diff options
Diffstat (limited to 'otherlibs/labltk/browser/useunix.ml')
| -rw-r--r-- | otherlibs/labltk/browser/useunix.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 = |