X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_transformations%2Fcontent_expressions.ml;h=8c88fd01f1186362a7260c1499c2f56b1eb92fa3;hb=ebc089606ccbb3e9dbde142542a1f98f5020b4dd;hp=5fe5bc3dcc8f87e3023581188e76745c4e23e22d;hpb=09d156a3f1ee9ebaccc9dc971734aa94509ca51a;p=helm.git

diff --git a/helm/ocaml/cic_transformations/content_expressions.ml b/helm/ocaml/cic_transformations/content_expressions.ml
index 5fe5bc3dc..8c88fd01f 100644
--- a/helm/ocaml/cic_transformations/content_expressions.ml
+++ b/helm/ocaml/cic_transformations/content_expressions.ml
@@ -286,7 +286,7 @@ let string_of_sort =
   function 
     Cic.Prop  -> "Prop"
   | Cic.Set   -> "Set"
-  | Cic.Type  -> "Type"
+  | Cic.Type _ -> "Type" (* TASSI *)
   | Cic.CProp -> "Type"
 ;;