X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcoercDb.ml;h=80222ad341f9d0ae8be79861a64735e03c46cbdc;hb=08e9d02504942642a917c0d3e4b4795e65172d89;hp=0ca40eb1c2860cef5da6d5def71040cfb7422234;hpb=81d0d5a3aad863b991996c008f5c19076e771dbb;p=helm.git

diff --git a/helm/software/components/library/coercDb.ml b/helm/software/components/library/coercDb.ml
index 0ca40eb1c..80222ad34 100644
--- a/helm/software/components/library/coercDb.ml
+++ b/helm/software/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