X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_annotations%2FcicAnnotation2Xml.ml;h=353ef1f7496082b445329372061f59c56ce83d06;hb=a9e833b37216b225262450fd4e3fa5bf79ae4c3a;hp=bffa4b0fc900c3a2f74bb78ebe842afb91fff766;hpb=08a2b1a3f1a1e9af07850089f0e0838eb052223d;p=helm.git

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
index bffa4b0fc..353ef1f74 100644
--- a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
+++ b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
@@ -93,7 +93,7 @@ let print_term i2a =
   aux
 ;;
 
-let print_mutual_inductive_type i2a (_,_,arity,constructors) =
+let print_mutual_inductive_type i2a (_,_,_,arity,constructors) =
  [< print_term i2a arity ;
     List.fold_right
      (fun (name,ty) i -> [< print_term i2a ty ; i >]) constructors [<>]