X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Focaml%2Fcic%2FcicUniv.mli;h=eb3c50866f73482a578f0f8376bd376c8e124236;hb=6c43a7f440daf19e2475b7eabd20456bdb0e9f76;hp=be8c28bf3e105c20ac17a6673ae5fa6ecbd637e0;hpb=8f86320e1ee981e2a8ad6c56b031a0394c8c1ad3;p=helm.git

diff --git a/helm/ocaml/cic/cicUniv.mli b/helm/ocaml/cic/cicUniv.mli
index be8c28bf3..eb3c50866 100644
--- 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
+