diff options
Diffstat (limited to 'lib/envars.ml')
-rw-r--r-- | lib/envars.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 84a41f8e4..cf3d6503d 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -36,9 +36,8 @@ let path_to_list p = let sep = if String.equal Sys.os_type "Win32" then ';' else ':' in String.split sep p -let user_path () = - let path = try Sys.getenv "PATH" with _ -> raise Not_found in - path_to_list path +let user_path () = + path_to_list (Sys.getenv "PATH") (* may raise Not_found *) let rec which l f = match l with |