From d243960f72bdfc195b1e463b96b98c5097862df7 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Fri, 17 Sep 2004 10:09:36 +0000 Subject: [PATCH] fixed cictheory:/ bug (thanks Lionel for the patch) --- helm/ocaml/getter/http_getter_common.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/getter/http_getter_common.ml b/helm/ocaml/getter/http_getter_common.ml index 4366417de..15810b93c 100644 --- a/helm/ocaml/getter/http_getter_common.ml +++ b/helm/ocaml/getter/http_getter_common.ml @@ -52,7 +52,7 @@ let rec uri_of_string = function in Rdf_uri (prefix, rest) | _ -> raise (Invalid_URI uri)) - | uri when is_cic_uri uri -> Cic_uri (Cic (Pcre.replace ~pat:"^cic:" uri)) + | uri when is_cic_obj_uri uri -> Cic_uri (Cic (Pcre.replace ~pat:"^cic:" uri)) | uri when is_nuprl_uri uri -> Nuprl_uri (Pcre.replace ~pat:"^nuprl:" uri) | uri when is_theory_uri uri -> Cic_uri (Theory (Pcre.replace ~pat:"^theory:" uri)) -- 2.39.2