...

diff --git a/helm/software/components/grafite_parser/grafiteDisambiguator.ml b/helm/software/components/grafite_parser/grafiteDisambiguator.ml
index ddd655bc40a95b5e00ff93748a526e53f3fa1030..f83225c35d411203282d1bab13bf35877cfb5aeb 100644 (file)
--- 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