CicNotationPres self-reference (misteriously accepted by ocaml!!!)

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index 7c87dedce0168ecc76d7d954d782d592fe48b6e4..b3893d3276c936c4583a359d5c00e2eb629b93e8 100644 (file)
--- a/helm/ocaml/cic_notation/cicNotationPres.ml
+++ b/helm/ocaml/cic_notation/cicNotationPres.ml
@@ -381,9 +381,9 @@ let render ids_to_uris =
   in
   aux [] false None `None 0 []
 
-let rec print_box (t: CicNotationPres.boxml_markup) =
+let rec print_box (t: boxml_markup) =
   Box.box2xml print_mpres t
-and print_mpres (t: CicNotationPres.mathml_markup) =
+and print_mpres (t: mathml_markup) =
   Mpresentation.print_mpres print_box t
 
 let print_xml = print_mpres