new intermediate language complete_rg,

[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 ce3853fcb479f6317a8cfc25beb4362f7ddc4ce6..a6839b89cc747e5c55a78f8437ce3995e0ff8322 100644 (file)
--- a/helm/software/helena/src/text/txtCrg.ml
+++ b/helm/software/helena/src/text/txtCrg.ml
@@ -32,7 +32,7 @@ let henv = Hashtbl.create henv_size (* optimized global environment *)
 (* Internal functions *******************************************************)
 
 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))
@@ -151,7 +151,7 @@ let xlate_entity err f gen st = function
       err st
 
 (* Interface functions ******************************************************)
-
+*)
 let initial_status () =
    Hashtbl.clear henv; {
    path = []; line = 1; sort = 0; mk_uri = G.get_mk_uri ()
@@ -161,4 +161,4 @@ let refresh_status st = {st with
    mk_uri = G.get_mk_uri ()
 }
 
-let crg_of_txt = xlate_entity
+let crg_of_txt _ _ = assert false (* xlate_entity *)