X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fgrafite_engine%2FgrafiteSync.mli;fp=matita%2Fcomponents%2Fgrafite_engine%2FgrafiteSync.mli;h=5b4971132424e3deae0b4b48a53671d68d8a3feb;hb=0fde70bd19b8fdfa72b807b9713a02ad1bd91b5b;hp=bac7eee9b874e130d7ca123e9626ce2cd9fb2cf3;hpb=f61ffe97078aab1e47ee1b7f212e707b0412e77e;p=helm.git

diff --git a/matita/components/grafite_engine/grafiteSync.mli b/matita/components/grafite_engine/grafiteSync.mli
index bac7eee9b..5b4971132 100644
--- a/matita/components/grafite_engine/grafiteSync.mli
+++ b/matita/components/grafite_engine/grafiteSync.mli
@@ -23,11 +23,6 @@
  * http://helm.cs.unibo.it/
  *)
 
-val add_obj:
-  pack_coercion_obj:(Cic.obj -> Cic.obj) ->
-  UriManager.uri -> Cic.obj -> GrafiteTypes.status ->
-   GrafiteTypes.status * UriManager.uri list
-
 val add_coercion:
   pack_coercion_obj:(Cic.obj -> Cic.obj) ->
   add_composites:bool -> GrafiteTypes.status ->