X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Flibrary%2FcoercDb.ml;h=14ddf7c8631b5054aca10a8accc0268e9c12b05f;hb=ea8ddf1f729c60d4eee6c659b179d9b77b6ec241;hp=fae09622950467c001f8271e4baf646f83feba11;hpb=68df3763b02a1c274bd4394afde6ff67b6d8e539;p=helm.git

diff --git a/helm/software/components/library/coercDb.ml b/helm/software/components/library/coercDb.ml
index fae096229..14ddf7c86 100644
--- a/helm/software/components/library/coercDb.ml
+++ b/helm/software/components/library/coercDb.ml
@@ -183,7 +183,6 @@ let add_coercion (src,tgt,u,saturations) =
       if List.exists (fun (x,_,_) -> UriManager.eq u x) l then
         let l' = List.map
           (fun (x,n,saturations') ->
-            assert (saturations=saturations');
             if UriManager.eq u x then
              (x,n+1,saturations)
             else