X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FgrafiteDisambiguator.ml;h=ddd655bc40a95b5e00ff93748a526e53f3fa1030;hb=1f3e810634367e2ce4b929a935ac6f3553870632;hp=8827e709b42328072edcb01591e9422ef73ba9e1;hpb=143c5acfb38cd3a8a8bb7190f8e6fb9cf327a504;p=helm.git

diff --git a/helm/software/components/grafite_parser/grafiteDisambiguator.ml b/helm/software/components/grafite_parser/grafiteDisambiguator.ml
index 8827e709b..ddd655bc4 100644
--- a/helm/software/components/grafite_parser/grafiteDisambiguator.ml
+++ b/helm/software/components/grafite_parser/grafiteDisambiguator.ml
@@ -222,3 +222,5 @@ let disambiguate_obj ?fresh_instances ~dbd ~aliases ~universe ~uri obj =
   let f = Disambiguator.disambiguate_obj ~dbd ~uri in
   disambiguate_thing.do_it ~aliases ~universe ~f ~drop_aliases
    ~drop_aliases_and_clear_diff obj
+
+let disambiguate_thing = assert false