moved coercions away (work in progress)

[helm.git] / helm / matita / matitaSync.mli

diff --git a/helm/matita/matitaSync.mli b/helm/matita/matitaSync.mli
index 1a2d8445ce60253dca69eb04d5d75189607aea9e..13023a8543937bea6b3756a28c09a8006c6482e9 100644 (file)
--- a/helm/matita/matitaSync.mli
+++ b/helm/matita/matitaSync.mli
@@ -27,6 +27,10 @@ val add_obj:
   UriManager.uri -> Cic.obj -> 
     MatitaTypes.status -> MatitaTypes.status
 
+val add_coercion:
+ MatitaTypes.status -> add_composites:bool -> UriManager.uri ->
+  MatitaTypes.status
+
 val time_travel: 
   present:MatitaTypes.status -> past:MatitaTypes.status -> unit