X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2Fdisambiguate.mli;h=9fdfb8993dae6cdf8eaf7c57a97414d96259955b;hb=09151f33b14507e4d20380f3100a6db5f49f3f46;hp=40ad3ec2e97a02d184230568d7fcaa14d4778d3f;hpb=28f262128cd08dfaad435f73d3f4eee5976993d6;p=helm.git

diff --git a/helm/gTopLevel/disambiguate.mli b/helm/gTopLevel/disambiguate.mli
index 40ad3ec2e..9fdfb8993 100644
--- a/helm/gTopLevel/disambiguate.mli
+++ b/helm/gTopLevel/disambiguate.mli
@@ -63,6 +63,7 @@ module Make (C : Callbacks) :
     sig
       exception ThereDoesNotExistAnyWellTypedInterpretationOfTheInput
       val disambiguate_input :
+        MQIConn.handle -> 
         Cic.context ->
         Cic.metasenv ->
         CicTextualParser0.interpretation_domain_item list ->