X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaDisambiguator.mli;h=01fa97ef08810b9741a4efa6ebcaaac80152a86e;hb=4a76b661a1130ce6afcfde9305579682b5458106;hp=740de989ecfa027c3c73a0e1f63c8355b1f7dafd;hpb=a7b90d2494f7d580faa54ecd2835bd4649129763;p=helm.git

diff --git a/helm/matita/matitaDisambiguator.mli b/helm/matita/matitaDisambiguator.mli
index 740de989e..01fa97ef0 100644
--- a/helm/matita/matitaDisambiguator.mli
+++ b/helm/matita/matitaDisambiguator.mli
@@ -48,7 +48,3 @@ val mono_interp_callback: choose_interp_callback
 (** for GUI callbacks see MatitaGui.interactive_{interp,user_uri}_choice *)
 
 include Disambiguate.Disambiguator
-  (*
-   * val disambiguate_term: ...
-   *)
-