Added generation of dependency graph for the ocaml modules in matita/

[helm.git] / helm / software / components / content_pres / cicNotationPres.ml

diff --git a/helm/software/components/content_pres/cicNotationPres.ml b/helm/software/components/content_pres/cicNotationPres.ml
index 308f23d22a13ea4826cde1050c8fbdc24a672c04..297a52bc5d7c09050af98740aba7cb0a51ae94ce 100644 (file)
--- a/helm/software/components/content_pres/cicNotationPres.ml
+++ b/helm/software/components/content_pres/cicNotationPres.ml
@@ -202,7 +202,7 @@ let add_parens child_prec child_assoc child_pos curr_prec t =
   end else
     t
 
-let render ids_to_uris =
+let render ids_to_uris ?(prec=(-1)) =
   let module A = Ast in
   let module P = Mpresentation in
 (*   let use_unicode = true in *)
@@ -418,7 +418,7 @@ let render ids_to_uris =
     in
       List.map boxify_pres (find_clusters terms)
   in
-  aux [] false (ref []) `Inner ~-1
+  aux [] false (ref []) `Inner prec
 
 let rec print_box (t: boxml_markup) =
   Box.box2xml print_mpres t