From 3007de3f032ea2349cb2f8fffc76b18d26895f36 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Fri, 14 Nov 2008 09:12:36 +0000 Subject: [PATCH] ... --- helm/software/components/grafite_parser/grafiteDisambiguator.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.2