From d0420e9a7ddc25d98e04f6c24046c02b57cb8cc4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 4 Feb 2004 23:41:14 +0000 Subject: [PATCH] Rel to hidden hypotheses are now printed as _hidden_n. --- helm/ocaml/cic_proof_checking/cicPp.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic_proof_checking/cicPp.ml b/helm/ocaml/cic_proof_checking/cicPp.ml index 5c5bd71ff..152cdd198 100644 --- a/helm/ocaml/cic_proof_checking/cicPp.ml +++ b/helm/ocaml/cic_proof_checking/cicPp.ml @@ -69,7 +69,7 @@ let rec pp t l = (match get_nth l n with Some (C.Name s) -> s | Some C.Anonymous -> "__" ^ string_of_int n - | _ -> raise CicPpInternalError + | None -> "_hidden_" ^ string_of_int n ) with NotEnoughElements -> string_of_int (List.length l - n) -- 2.39.2