X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fdisambiguation%2FmultiPassDisambiguator.ml;h=1ee9df14e8c7efdecfec04f3f20a9b9b8cf0492a;hb=3df31c02806eca83c63c14e6a89844f764c3e2cb;hp=b1cf9aed0ec55f13e3317489b8e9f63e044d1ffe;hpb=e2718488c73b2cdf20b26af46e80a11b91fac220;p=helm.git

diff --git a/matita/components/disambiguation/multiPassDisambiguator.ml b/matita/components/disambiguation/multiPassDisambiguator.ml
index b1cf9aed0..1ee9df14e 100644
--- a/matita/components/disambiguation/multiPassDisambiguator.ml
+++ b/matita/components/disambiguation/multiPassDisambiguator.ml
@@ -25,8 +25,6 @@
 
 (* $Id$ *)
 
-open Printf
-
 let debug = ref false;;
 let debug_print s =
  if !debug then prerr_endline (Lazy.force s) else ();;
@@ -119,7 +117,7 @@ let disambiguate_thing ~description_of_alias ~passes ~aliases ~universe ~f thing
   let try_pass (fresh_instances, (_, aliases, universe), use_coercions) =
     f ~fresh_instances ~aliases ~universe ~use_coercions thing
   in
-  let set_aliases (instances,(use_mono_aliases,_,_),_) (_, user_asked as res) =
+  let set_aliases (_instances,(use_mono_aliases,_,_),_) (_, user_asked as res) =
    if use_mono_aliases then
     drop_aliases ~minimize_instances:true ~description_of_alias res (* one shot aliases *)
    else if user_asked then