X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcontent_pres%2FcicNotationPres.ml;h=3e47cceb9166897930ba97fa790d452846604871;hb=99b249b23524cda2d91602ee088fef1a7be253ee;hp=cc3a204a4e3874ba3ee55ccb3477932ae66447bc;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/content_pres/cicNotationPres.ml b/helm/ocaml/content_pres/cicNotationPres.ml
index cc3a204a4..3e47cceb9 100644
--- a/helm/ocaml/content_pres/cicNotationPres.ml
+++ b/helm/ocaml/content_pres/cicNotationPres.ml
@@ -199,7 +199,7 @@ let add_parens child_prec child_assoc child_pos curr_prec t =
 let render ids_to_uris =
   let module A = Ast in
   let module P = Mpresentation in
-  let use_unicode = true in
+(*   let use_unicode = true in *)
   let lookup_uri id =
     (try
       let uri = Hashtbl.find ids_to_uris id in
@@ -304,7 +304,7 @@ let render ids_to_uris =
     let new_xref = ref [] in
     let new_xmlattrs = ref [] in
     let new_pos = ref pos in
-    let reinit = ref false in
+(*     let reinit = ref false in *)
     let rec aux_attribute =
       function
       | A.AttributedTerm (attr, t) ->