diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-11-13 22:38:00 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-11-13 22:38:00 +0000 |
commit | 1d436a18f2f72b57ea09a6d27709a36b63be863a (patch) | |
tree | 0082ab298988502105c7f71baa5a240051b82fdf /lib/envars.ml | |
parent | 81ca535c9888bc578d8f9274568ace0d8e7b2d35 (diff) |
Added a CString module.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15968 85f007b7-540e-0410-9357-904b9bb8a0f7
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" |