X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2Fcic.ml;h=f9e99260d52944640d65ace9d5d9b6909be8cd42;hb=c5d5bf37b1e4c4b9b499ed2cbfe27cf2ec181944;hp=55a338b3f3b54b7644894e6eceb194c40a258de0;hpb=7af6bb6e640a44489bdab79a38300cf103e45bd4;p=helm.git

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index 55a338b3f..f9e99260d 100644
--- a/helm/ocaml/cic/cic.ml
+++ b/helm/ocaml/cic/cic.ml
@@ -52,7 +52,7 @@ type anntarget =
 and sort =
    Prop
  | Set
- | Type
+ | Type of CicUniv.universe
  | CProp
 and name =
    Name of string