From 7e0edc16cd7beeff5c569fd0df531cb975642415 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 2 Jan 2009 17:19:41 +0000
Subject: Made the debugger work again: - call to open_process_full from
 Envars.camlp4lib was apparently   disturbing stdin/stdout/stderr and
 precipitating coqtop.byte death   in ocamldebug; renounced to add camlp4 to
 the ml path (why was it useful?)   which was the reason for calling camlp4lib
 (seems like camlp4lib   is now useless), - Envars was needing str.cma which
 was missing when calling printers.cma;   renounced to use str.cma since its
 only use was for an elementary   split function.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11734 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 lib/envars.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'lib/envars.ml')

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
-- 
cgit v1.2.3