default of auto_disambiguation set to true

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

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index be8c28bf3e105c20ac17a6673ae5fa6ecbd637e0..eb3c50866f73482a578f0f8376bd376c8e124236 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
@@ -150,3 +151,4 @@ val eq: universe -> universe -> bool
 *)
 val get_spent_time: unit -> float
 val reset_spent_time: unit -> unit
+