From 4941c45d05f0708774f614a89c1dbaf3ec171c52 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 8 Sep 2007 23:41:11 +0000 Subject: [PATCH] removed an assertion that makes no more sense to me --- helm/software/components/library/coercDb.ml | 1 - 1 file changed, 1 deletion(-) 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 -- 2.39.2