From 9d1d061713042b504aec7de671391245a43adad7 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Tue, 30 Aug 2005 08:51:02 +0000
Subject: [PATCH] CicNotationPres self-reference (misteriously accepted by
 ocaml!!!)

---
 helm/ocaml/cic_notation/cicNotationPres.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/ocaml/cic_notation/cicNotationPres.ml b/helm/ocaml/cic_notation/cicNotationPres.ml
index 7c87dedce..b3893d327 100644
--- 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
-- 
2.39.2