X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2Fcic.ml;h=fd46c22b4820e74232d3e18e2e8a2eb46b073041;hb=dfa2ac7a7c291b58e445d005438ea7f535d466bf;hp=f0bccf6eaa62f1d5cea5567214035fd3026458b2;hpb=b6c2107995066dea2b31fe9f760af3cac2d8cebc;p=helm.git

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index f0bccf6ea..fd46c22b4 100644
--- a/helm/ocaml/cic/cic.ml
+++ b/helm/ocaml/cic/cic.ml
@@ -158,7 +158,7 @@ and annobj =
     anninductiveType list *                         (* inductive types ,      *)
     UriManager.uri list * int                       (*  parameters,n ind. pars*)
 and anninductiveType = 
- string * bool * annterm *                    (* typename, inductive, arity *)
+ id * string * bool * annterm *               (* typename, inductive, arity *)
   annconstructor list                         (*  constructors              *)
 and annconstructor =
  string * annterm                             (* id, type *)