X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FcicNotationPres.mli;h=68da94458dfd3fb630739811cfb23a18448bc322;hb=ba2dfe6409e95bf9e558dc0d4be382b068671409;hp=d7fcb9ea3b316949947dcae6d0f8d3e8f5c06e51;hpb=7aa0e7901b71a660c6d6f55d96a38a3a9d1d3c7d;p=helm.git

diff --git a/helm/ocaml/cic_notation/cicNotationPres.mli b/helm/ocaml/cic_notation/cicNotationPres.mli
index d7fcb9ea3..68da94458 100644
--- a/helm/ocaml/cic_notation/cicNotationPres.mli
+++ b/helm/ocaml/cic_notation/cicNotationPres.mli
@@ -28,7 +28,8 @@ and boxml_markup = mathml_markup Box.box
 
 type markup = mathml_markup
 
-(** @param ids_to_uris mapping id -> uri for hyperlinking *)
+(** level 1 -> level 0
+ * @param ids_to_uris mapping id -> uri for hyperlinking *)
 val render: (Cic.id, string) Hashtbl.t -> CicNotationPt.term -> markup
 
 val render_to_boxml: