fixed undo support for coercions inside records

[helm.git] / helm / ocaml / grafite2 / matitaSync.mli

diff --git a/helm/ocaml/grafite2/matitaSync.mli b/helm/ocaml/grafite2/matitaSync.mli
index 6161a6a0d96189bdcb7dab983913a66423d1205b..bc744f8622215e4f25d5d5dcaa8f7bc36efcc557 100644 (file)
--- 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: