Universes introduction

[helm.git] / helm / ocaml / cic / cic.ml

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index 55a338b3f3b54b7644894e6eceb194c40a258de0..f9e99260d52944640d65ace9d5d9b6909be8cd42 100644 (file)
--- 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