From: Enrico Tassi Date: Fri, 14 Nov 2008 09:12:36 +0000 (+0000) Subject: ... X-Git-Tag: make_still_working~4565 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3007de3f032ea2349cb2f8fffc76b18d26895f36;p=helm.git ... --- diff --git a/helm/software/components/grafite_parser/grafiteDisambiguator.ml b/helm/software/components/grafite_parser/grafiteDisambiguator.ml index ddd655bc4..f83225c35 100644 --- a/helm/software/components/grafite_parser/grafiteDisambiguator.ml +++ b/helm/software/components/grafite_parser/grafiteDisambiguator.ml @@ -223,4 +223,4 @@ let disambiguate_obj ?fresh_instances ~dbd ~aliases ~universe ~uri obj = disambiguate_thing.do_it ~aliases ~universe ~f ~drop_aliases ~drop_aliases_and_clear_diff obj -let disambiguate_thing = assert false +let disambiguate_thing ~dbd = assert false