From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 4 Feb 2004 23:41:14 +0000 (+0000)
Subject: Rel to hidden hypotheses are now printed as _hidden_n.
X-Git-Tag: V_0_2_3~57
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=d0420e9a7ddc25d98e04f6c24046c02b57cb8cc4;p=helm.git

Rel to hidden hypotheses are now printed as _hidden_n.
---

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)