X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Flibrary%2FcoercDb.ml;h=80222ad341f9d0ae8be79861a64735e03c46cbdc;hb=f06968e452cca8782e822d98bec9007404abcbbe;hp=0ca40eb1c2860cef5da6d5def71040cfb7422234;hpb=94267002fc18aa42a8c09779ad6485f93c3e90fa;p=helm.git

diff --git a/components/library/coercDb.ml b/components/library/coercDb.ml
index 0ca40eb1c..80222ad34 100644
--- a/components/library/coercDb.ml
+++ b/components/library/coercDb.ml
@@ -190,3 +190,7 @@ let add_coercion (src,tgt,u,saturations) =
         db := (src,tgt,(u,1,saturations)::l)::tl @ rest
       
 ;;
+
+type coerc_db = (coerc_carr * coerc_carr * (UriManager.uri * int * int) list) list 
+let dump () = !db 
+let restore coerc_db = db := coerc_db