X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2FmatitaDisambiguator.ml;h=f6db501b3f456267cff48818c395f8f722a2e98d;hb=5d9c0b5cdda67ac1672b2e0dd83af7fb67a14a34;hp=fcbcdea1442cce3be7be508881038f0599ebbce6;hpb=de9a83f286eee12117fb478ea2db18f7faebac9a;p=helm.git

diff --git a/helm/matita/matitaDisambiguator.ml b/helm/matita/matitaDisambiguator.ml
index fcbcdea14..f6db501b3 100644
--- a/helm/matita/matitaDisambiguator.ml
+++ b/helm/matita/matitaDisambiguator.ml
@@ -63,3 +63,4 @@ module Disambiguator = Disambiguate.Make (Callbacks)
 
 let disambiguate_term = Disambiguator.disambiguate_term
 
+let disambiguate_obj = Disambiguator.disambiguate_obj