Interface improvement (???): the Check button has been moved to a brand new

[helm.git] / helm / ocaml / cic_annotations / cicAnnotation2Xml.ml

diff --git a/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml b/helm/ocaml/cic_annotations/cicAnnotation2Xml.ml
index bffa4b0fc900c3a2f74bb78ebe842afb91fff766..353ef1f7496082b445329372061f59c56ce83d06 100644 (file)
--- 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 [<>]