From 0ce5aa521e96d3885cfdede3c31acb7bbb371029 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 5 Feb 2004 18:30:57 +0000 Subject: [PATCH] NameExpected exception removed. The "identifier" __n is now returned (as CicPp does). --- helm/ocaml/cic_omdoc/cic2acic.ml | 3 +-- helm/ocaml/cic_omdoc/cic2acic.mli | 1 - 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/helm/ocaml/cic_omdoc/cic2acic.ml b/helm/ocaml/cic_omdoc/cic2acic.ml index d8a442173..f7c2317ba 100644 --- a/helm/ocaml/cic_omdoc/cic2acic.ml +++ b/helm/ocaml/cic_omdoc/cic2acic.ml @@ -64,7 +64,6 @@ let fresh_id seed ids_to_terms ids_to_father_ids = let source_id_of_id id = "#source#" ^ id;; exception NotEnoughElements;; -exception NameExpected;; (*CSC: cut&paste da cicPp.ml *) (* get_nth l n returns the nth element of the list l if it exists or *) @@ -173,7 +172,7 @@ Cic.Sort Cic.Type ; let id = match get_nth context n with (Some (C.Name s,_)) -> s - | _ -> raise NameExpected + | _ -> "__" ^ string_of_int n in xxx_add ids_to_inner_sorts fresh_id'' innersort ; if innersort = "Prop" && expected_available then diff --git a/helm/ocaml/cic_omdoc/cic2acic.mli b/helm/ocaml/cic_omdoc/cic2acic.mli index 4f686da44..9cef0cb38 100644 --- a/helm/ocaml/cic_omdoc/cic2acic.mli +++ b/helm/ocaml/cic_omdoc/cic2acic.mli @@ -24,7 +24,6 @@ *) exception NotEnoughElements -exception NameExpected val source_id_of_id : string -> string -- 2.39.2