X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fdisambiguation%2FmultiPassDisambiguator.mli;h=41b79c9b025b2ea73761cf5937f62be39e841396;hb=b367de0252e88d6b0476648d5ceac7e4aeffca27;hp=4977a81d9cec60e9e370cce909d9164009bcb46f;hpb=b225178112c2c5ef1a717ac7e647d854d94b2e52;p=helm.git

diff --git a/helm/software/components/disambiguation/multiPassDisambiguator.mli b/helm/software/components/disambiguation/multiPassDisambiguator.mli
index 4977a81d9..41b79c9b0 100644
--- a/helm/software/components/disambiguation/multiPassDisambiguator.mli
+++ b/helm/software/components/disambiguation/multiPassDisambiguator.mli
@@ -23,6 +23,8 @@
  * http://helm.cs.unibo.it/
  *)
 
+val debug: bool ref
+
 (* the integer is an offset to be added to each location *)
 exception DisambiguationError of
  int *
@@ -48,6 +50,7 @@ val disambiguate_thing:
   expty: 'refined_thing option ->
   mk_implicit:(bool -> 'alias) ->
   description_of_alias:('alias -> string) ->
+  fix_instance:(DisambiguateTypes.domain_item -> 'alias list -> 'alias list) ->
   aliases:'alias DisambiguateTypes.Environment.t ->
   universe:'alias list
     DisambiguateTypes.Environment.t option ->