Universes speedup:

[helm.git] / helm / ocaml / cic / cicUniv.mli

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index be8c28bf3e105c20ac17a6673ae5fa6ecbd637e0..cdeaa378ea9bc78e5d0994e9ea1ae5d15430d92f 100644 (file)
--- a/helm/ocaml/cic/cicUniv.mli
+++ b/helm/ocaml/cic/cicUniv.mli
@@ -106,7 +106,8 @@ val fill_empty_nodes_with_uri:
     already merged graph)
 *)
 val merge_ugraphs:
-  universe_graph -> universe_graph -> universe_graph
+  base_ugraph:universe_graph -> 
+  increment:(universe_graph * UriManager.uri) -> universe_graph
 
 (*
   ugraph to xml file and viceversa