From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Sat, 8 Sep 2007 23:41:11 +0000 (+0000)
Subject: removed an assertion that makes no more sense to me
X-Git-Tag: make_still_working~6038
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=4941c45d05f0708774f614a89c1dbaf3ec171c52;p=helm.git

removed an assertion that makes no more sense to me
---

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