From e263d21984563a9c8bbbc4900e0b5efd3cbf2da0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 7 Jun 2005 15:41:09 +0000 Subject: [PATCH] added Pp of Cast --- 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 b8ae1602c..d9c669ed5 100644 --- a/helm/ocaml/cic_proof_checking/cicPp.ml +++ b/helm/ocaml/cic_proof_checking/cicPp.ml @@ -95,7 +95,7 @@ let rec pp t l = C.Name n -> "(" ^ n ^ ":" ^ pp s l ^ ")" ^ pp t ((Some b)::l) | C.Anonymous -> "(" ^ pp s l ^ "->" ^ pp t ((Some b)::l) ^ ")" ) - | C.Cast (v,t) -> pp v l + | C.Cast (v,t) -> "(" ^ pp v l ^ ":" ^ pp t l ^ ")" | C.Lambda (b,s,t) -> "[" ^ ppname b ^ ":" ^ pp s l ^ "]" ^ pp t ((Some b)::l) | C.LetIn (b,s,t) -> -- 2.39.2