From 10be44e671c08f7673f6bbb00759639714841b75 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 5 Aug 2004 13:19:49 +0000 Subject: [PATCH] fixed some illegal backslash escapes --- helm/ocaml/urimanager/uriManager.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/helm/ocaml/urimanager/uriManager.ml b/helm/ocaml/urimanager/uriManager.ml index 6dad8ddef..39d058b5e 100644 --- a/helm/ocaml/urimanager/uriManager.ml +++ b/helm/ocaml/urimanager/uriManager.ml @@ -67,7 +67,7 @@ let mk_prefixes str = function [he] -> let prefix_uri = curi ^ "/" ^ he - and name = List.hd (Str.split (Str.regexp "\.") he) in + and name = List.hd (Str.split (Str.regexp "\\.") he) in [ normalize prefix_uri ; name ] | he::tl -> let prefix_uri = curi ^ "/" ^ he in @@ -97,8 +97,8 @@ let uri_of_string str = let cicuri_of_uri uri = let completeuri = string_of_uri uri in let newcompleteuri = - (Str.replace_first (Str.regexp "\.types$") "" - (Str.replace_first (Str.regexp "\.ann$") "" completeuri)) + (Str.replace_first (Str.regexp "\\.types$") "" + (Str.replace_first (Str.regexp "\\.ann$") "" completeuri)) in if completeuri = newcompleteuri then uri @@ -110,7 +110,7 @@ let cicuri_of_uri uri = let annuri_of_uri uri = let completeuri = string_of_uri uri in - if Str.string_match (Str.regexp ".*\.ann$") completeuri 0 then + if Str.string_match (Str.regexp ".*\\.ann$") completeuri 0 then uri else let newuri = Array.copy uri in @@ -119,12 +119,12 @@ let annuri_of_uri uri = ;; let uri_is_annuri uri = - Str.string_match (Str.regexp ".*\.ann$") (string_of_uri uri) 0 + Str.string_match (Str.regexp ".*\\.ann$") (string_of_uri uri) 0 ;; let bodyuri_of_uri uri = let struri = string_of_uri uri in - if Str.string_match (Str.regexp ".*\.con$") (string_of_uri uri) 0 then + if Str.string_match (Str.regexp ".*\\.con$") (string_of_uri uri) 0 then let newuri = Array.copy uri in newuri.(Array.length uri - 2) <- struri ^ ".body" ; Some newuri -- 2.39.2