]> matita.cs.unibo.it Git - helm.git/commitdiff
removed an assertion that makes no more sense to me
authorEnrico Tassi <enrico.tassi@inria.fr>
Sat, 8 Sep 2007 23:41:11 +0000 (23:41 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Sat, 8 Sep 2007 23:41:11 +0000 (23:41 +0000)
helm/software/components/library/coercDb.ml

index fae09622950467c001f8271e4baf646f83feba11..14ddf7c8631b5054aca10a8accc0268e9c12b05f 100644 (file)
@@ -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