removed deadcode / fixed typos (thanks to ocaml 3.09)

[helm.git] / helm / ocaml / content_pres / cicNotationPres.ml

diff --git a/helm/ocaml/content_pres/cicNotationPres.ml b/helm/ocaml/content_pres/cicNotationPres.ml
index cc3a204a4e3874ba3ee55ccb3477932ae66447bc..3e47cceb9166897930ba97fa790d452846604871 100644 (file)
--- 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) ->