X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite2%2FmatitaSync.mli;h=bc744f8622215e4f25d5d5dcaa8f7bc36efcc557;hb=d6a93ae23730073aa31e50537f0708a105ba873a;hp=6161a6a0d96189bdcb7dab983913a66423d1205b;hpb=cf3635c0830661f59d16339cd7fc9c3b948fcbc8;p=helm.git

diff --git a/helm/ocaml/grafite2/matitaSync.mli b/helm/ocaml/grafite2/matitaSync.mli
index 6161a6a0d..bc744f862 100644
--- a/helm/ocaml/grafite2/matitaSync.mli
+++ b/helm/ocaml/grafite2/matitaSync.mli
@@ -24,11 +24,11 @@
  *)
 
 val add_obj:
-  UriManager.uri -> Cic.obj -> 
+  UriManager.uri -> Cic.obj -> UriManager.uri list -> 
     GrafiteTypes.status -> GrafiteTypes.status
 
 val add_coercion:
- GrafiteTypes.status -> add_composites:bool -> UriManager.uri ->
+ GrafiteTypes.status -> UriManager.uri -> UriManager.uri list ->
   GrafiteTypes.status
 
 val time_travel: