From 0519f31bfe90a7bc5eafc72fcfc3f2a4aee6efef Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Mon, 26 Jan 2004 00:03:37 +0000 Subject: [PATCH] raise proper exception when a regexp fails on term_of_uri --- helm/ocaml/cic/helmLibraryObjects.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic/helmLibraryObjects.ml b/helm/ocaml/cic/helmLibraryObjects.ml index 4a1a1dad0..af781edc8 100644 --- a/helm/ocaml/cic/helmLibraryObjects.ml +++ b/helm/ocaml/cic/helmLibraryObjects.ml @@ -46,7 +46,7 @@ let term_of_uri uri = let (uri, typeno, consno) = indconuri_of_uri s in mutconstruct uri typeno consno) with - | Invalid_argument _ -> raise (UriManager.IllFormedUri s) + | Invalid_argument _ | Not_found -> raise (UriManager.IllFormedUri s) (** {2 Helm's objects shorthands} *) -- 2.39.2