X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fdisambiguation%2FmultiPassDisambiguator.mli;h=21818816ca6d405d9fd8ce06d552b4744a6d29f2;hb=4dfb1305a9c4a7c292f4b1957de1454d46c1ab8a;hp=0151f8d3dd7e8a8aef4d4a573b2622a519164424;hpb=93ce01455cfeba6b29e3c8a57e28f56559fb891d;p=helm.git

diff --git a/helm/software/components/disambiguation/multiPassDisambiguator.mli b/helm/software/components/disambiguation/multiPassDisambiguator.mli
index 0151f8d3d..21818816c 100644
--- a/helm/software/components/disambiguation/multiPassDisambiguator.mli
+++ b/helm/software/components/disambiguation/multiPassDisambiguator.mli
@@ -33,6 +33,7 @@ exception DisambiguationError of
 
 (** initially false; for debugging only (???) *)
 val only_one_pass: bool ref
+val use_library: bool ref
 
 val passes : unit -> (bool * [> `Library | `Mono | `Multi ] * bool) list