diff options
Diffstat (limited to 'otherlibs/labltk/browser/setpath.ml')
| -rw-r--r-- | otherlibs/labltk/browser/setpath.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/setpath.ml b/otherlibs/labltk/browser/setpath.ml index 1c6ad22ef..cd255af19 100644 --- a/otherlibs/labltk/browser/setpath.ml +++ b/otherlibs/labltk/browser/setpath.ml @@ -47,12 +47,12 @@ let add_to_path :dirs ?:base{=""} box = in set_load_path (dirs @ List.fold_left dirs acc:(get_load_path ()) - fun:(fun :acc x -> List2.exclude elt:x acc)) + fun:(fun :acc x -> List2.exclude item:x acc)) let remove_path box :dirs = set_load_path (List.fold_left dirs acc:(get_load_path ()) - fun:(fun :acc x -> List2.exclude elt:x acc)) + fun:(fun :acc x -> List2.exclude item:x acc)) (* main function *) |