X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic%2FcicParser3.ml;h=8e6d276d5c9ea003bc31a6df3197965b4ce5b080;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=121f36453a9930044f0d333937171baa338319e7;hpb=7af6bb6e640a44489bdab79a38300cf103e45bd4;p=helm.git

diff --git a/helm/ocaml/cic/cicParser3.ml b/helm/ocaml/cic/cicParser3.ml
index 121f36453..8e6d276d5 100644
--- a/helm/ocaml/cic/cicParser3.ml
+++ b/helm/ocaml/cic/cicParser3.ml
@@ -53,7 +53,7 @@ let cic_sort_of_xml_attr =
  function
     Pxp_types.Value "Prop" -> Cic.Prop
   | Pxp_types.Value "Set"  -> Cic.Set
-  | Pxp_types.Value "Type" -> Cic.Type
+  | Pxp_types.Value "Type" -> Cic.Type (CicUniv.fresh ()) (* TASSI: sure? *)
   | _            -> raise (IllFormedXml 2)
 
 let int_of_xml_attr =