minimal changes:

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

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index f0bccf6eaa62f1d5cea5567214035fd3026458b2..fd46c22b4820e74232d3e18e2e8a2eb46b073041 100644 (file)
--- 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 *)