X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_disambiguation%2FgrafiteDisambiguate.mli;h=019051255bd3f4dde76f8ea334f99ad3949972e6;hb=062205f9595812819a8783df5b578a5683b27d09;hp=c462af36f9cac05f0028b6eff603892cb3b03f5b;hpb=bb3c7ca89a74d4b49278c657eae3f03a56853379;p=helm.git

diff --git a/matita/components/ng_disambiguation/grafiteDisambiguate.mli b/matita/components/ng_disambiguation/grafiteDisambiguate.mli
index c462af36f..019051255 100644
--- a/matita/components/ng_disambiguation/grafiteDisambiguate.mli
+++ b/matita/components/ng_disambiguation/grafiteDisambiguate.mli
@@ -40,7 +40,7 @@ class virtual status :
  end
 
 val eval_with_new_aliases:
- #status as 'status -> ('status -> 'a) ->
+ #status as 'status -> ('status -> (#status as 'a)) ->
   (DisambiguateTypes.domain_item * GrafiteAst.alias_spec) list * 'a
 
 val set_proof_aliases: