From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 7 Jun 2005 15:41:09 +0000 (+0000)
Subject: added Pp of Cast
X-Git-Tag: PRE_INDEX_1~59
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e263d21984563a9c8bbbc4900e0b5efd3cbf2da0;p=helm.git

added Pp of Cast
---

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) ->