X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;h=58927e53b887d8b7aeddfe9e82c4a6e85a7bbc7b;hb=205b08e72f245d4ba210127cf58b1e4b96d5f93a;hp=85bdc689cc14e6b2d234755f5bad7f5a90c3fe78;hpb=2141f67b35b9ea866217ab2b5af1d5f24704454c;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 85bdc689c..58927e53b 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -49,16 +49,6 @@ let domain_size = ref 0
 let choices_avg = ref 0.
 *)
 
-let floc_of_loc (loc_begin, loc_end) =
-  let floc_begin =
-    { Lexing.pos_fname = ""; Lexing.pos_lnum = -1; Lexing.pos_bol = -1;
-      Lexing.pos_cnum = loc_begin }
-  in
-  let floc_end = { floc_begin with Lexing.pos_cnum = loc_end } in
-  (floc_begin, floc_end)
-
-let dummy_floc = floc_of_loc (-1, -1)
-
 let descr_of_domain_item = function
  | Id s -> s
  | Symbol (s, _) -> s