X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;fp=helm%2Focaml%2Fcic_disambiguation%2Fdisambiguate.ml;h=fd8e2a7991e69204ea2a1ec028cea7569460f8ef;hb=afa05d30f20de12e031c3e5c3e5c33c19c42a7d8;hp=ce26f935131f418f26963c4e8121ba7948a74e15;hpb=7c123bfb1568f90f37cd667332fbf60d4423b983;p=helm.git

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index ce26f9351..fd8e2a799 100644
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -767,7 +767,6 @@ let refine_profiler = HExtlib.profile "disambiguate_thing.refine_thing"
       let todo_dom = domain_diff thing_dom current_dom in
       (* (2) lookup function for any item (Id/Symbol/Num) *)
       let lookup_choices =
-        let id_choices = Hashtbl.create 1023 in
         fun item ->
           let choices =
             let lookup_in_library () =