- new attributes system

[helm.git] / helm / software / helena / src / text / txtCrg.ml

diff --git a/helm/software/helena/src/text/txtCrg.ml b/helm/software/helena/src/text/txtCrg.ml
index a6839b89cc747e5c55a78f8437ce3995e0ff8322..63b7725b25d2f1521a3e4662c1126ff88001e14c 100644 (file)
--- a/helm/software/helena/src/text/txtCrg.ml
+++ b/helm/software/helena/src/text/txtCrg.ml
@@ -30,9 +30,9 @@ let henv_size = 7000 (* hash tables initial size *)
 let henv = Hashtbl.create henv_size (* optimized global environment *)
 
 (* Internal functions *******************************************************)
-
-let name_of_id ?(r=true) id = E.Name (id, r)
 (*
+let name_of_id ?(r=true) id = E.Name (id, r)
+
 let mk_lref f i j k = f (D.TLRef ([E.Apix k], i, j))
 
 let mk_gref f uri = f (D.TGRef ([], uri))