From c5699e75abae51b39365c3dfab2fde3f4b23fe6b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sun, 18 May 2008 07:25:38 +0000 Subject: [PATCH] More effective optimization: avoid introducing already implied arcs. --- helm/software/components/ng_kernel/nCicEnvironment.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml index 8f76f4a0f..fa229d6f6 100644 --- a/helm/software/components/ng_kernel/nCicEnvironment.ml +++ b/helm/software/components/ng_kernel/nCicEnvironment.ml @@ -43,7 +43,7 @@ let universe_eq a b = universe_leq b a || universe_leq a b let add_le_constraint strict a b = match a,b with | [false,a2],[false,b2] -> - if not (NUri.eq a2 b2) then ( + if not (le_path_uri [] strict a2 b2) then ( if le_path_uri [] (not strict) b2 a2 then (raise (BadConstraint (lazy "universe inconsistency"))); le_constraints := (strict,a2,b2) :: !le_constraints) -- 2.39.2