diff options
Diffstat (limited to 'lib/envars.ml')
| -rw-r--r-- | lib/envars.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 82e0d31622..e67fc32d94 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -30,8 +30,8 @@ let coqlib () = (if !Flags.boot then Coq_config.coqsrc else guess_coqlib ()) let path_to_list p = - let sep = Str.regexp_string (if Sys.os_type = "Win32" then ";" else ":") in - Str.split sep p + let sep = if Sys.os_type = "Win32" then ';' else ':' in + Util.split_string_at sep p let rec which l f = match l with |