Universes introduction

[helm.git] / helm / ocaml / cic_transformations / content_expressions.ml

diff --git a/helm/ocaml/cic_transformations/content_expressions.ml b/helm/ocaml/cic_transformations/content_expressions.ml
index 5fe5bc3dcc8f87e3023581188e76745c4e23e22d..8c88fd01f1186362a7260c1499c2f56b1eb92fa3 100644 (file)
--- 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"
 ;;