diff options
Diffstat (limited to 'lib/envars.ml')
-rw-r--r-- | lib/envars.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 846391d83..27579e4ea 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -102,7 +102,7 @@ let docdir () = let path_to_list p = let sep = if Sys.os_type = "Win32" then ';' else ':' in - Util.split_string_at sep p + Util.String.split sep p let xdg_data_home warning = coqify @@ -170,7 +170,7 @@ let camllib () = let camlbin = camlbin () in let com = (Filename.concat camlbin "ocamlc") ^ " -where" in let _,res = CUnix.run_command (fun x -> x) (fun _ -> ()) com in - Util.strip res + Util.String.strip res let camlp4bin () = if !Flags.camlp4bin_spec then !Flags.camlp4bin else @@ -187,5 +187,5 @@ let camlp4lib () = let com = (Filename.concat camlp4bin Coq_config.camlp4) ^ " -where" in let ex,res = CUnix.run_command (fun x -> x) (fun _ -> ()) com in match ex with - |Unix.WEXITED 0 -> Util.strip res + |Unix.WEXITED 0 -> Util.String.strip res |_ -> "/dev/null" |