diff options
Diffstat (limited to 'otherlibs/labltk/browser/shell.ml')
| -rw-r--r-- | otherlibs/labltk/browser/shell.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/otherlibs/labltk/browser/shell.ml b/otherlibs/labltk/browser/shell.ml index 6dfc7d643..10c132194 100644 --- a/otherlibs/labltk/browser/shell.ml +++ b/otherlibs/labltk/browser/shell.ml @@ -239,7 +239,7 @@ let get_all () = all let may_exec_unix prog = - try Unix.access ~file:prog ~perm:[Unix.X_OK]; true + try Unix.access prog ~perm:[Unix.X_OK]; true with Unix.Unix_error _ -> false let may_exec_win prog = |