X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicPp.ml;h=a8d9eaa0bdd87e4ef67c60611e4c8e314b0f53cd;hb=fc1aaaa63cf587f51a45ec8a19bf477867a3b71a;hp=11ed4418c67f8f4eae0f0244397306f45c62354e;hpb=265cf771fbfe217b5f274b999fc3ad887683a09a;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicPp.ml b/helm/ocaml/cic_proof_checking/cicPp.ml
index 11ed4418c..a8d9eaa0b 100644
--- a/helm/ocaml/cic_proof_checking/cicPp.ml
+++ b/helm/ocaml/cic_proof_checking/cicPp.ml
@@ -83,9 +83,10 @@ let rec pp t l =
         "]"
     | C.Sort s ->
        (match s with
-           C.Prop -> "Prop"
-         | C.Set  -> "Set"
-         | C.Type -> "Type"
+           C.Prop  -> "Prop"
+         | C.Set   -> "Set"
+         | C.Type  -> "Type"
+	 | C.CProp -> "CProp" 
        )
     | C.Implicit -> "?"
     | C.Prod (b,s,t) ->