Commit c07a2651 authored by Andrei Paskevich's avatar Andrei Paskevich

comment unused code in Loc

parent b27ca64b
......@@ -104,8 +104,10 @@ let report_obligation_position ?(onlybasename=false) fmt loc =
let current_offset = ref 0
let reloc p = { p with pos_cnum = p.pos_cnum + !current_offset }
(*
(* Identifiers localization *)
let ident_t = Hashtbl.create 97
let add_ident = Hashtbl.add ident_t
let ident = Hashtbl.find ident_t
*)
......@@ -51,7 +51,9 @@ val join : 'a * 'b -> 'a * 'b -> 'a * 'b
val current_offset : int ref
val reloc : Lexing.position -> Lexing.position
(*
(* Identifiers localization *)
val add_ident : string -> floc -> unit
val ident : string -> floc
*)
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment