diff options
Diffstat (limited to 'otherlibs/labltk/browser/list2.ml')
| -rw-r--r-- | otherlibs/labltk/browser/list2.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/list2.ml b/otherlibs/labltk/browser/list2.ml index 80cac04ef..8ba876f25 100644 --- a/otherlibs/labltk/browser/list2.ml +++ b/otherlibs/labltk/browser/list2.ml @@ -13,8 +13,8 @@ (* $Id$ *) -let exclude x l = List.filter l f:((<>) x) +let exclude x l = List.filter l ~f:((<>) x) -let rec flat_map :f = function +let rec flat_map ~f = function [] -> [] - | x :: l -> f x @ flat_map :f l + | x :: l -> f x @ flat_map ~f l |