From ab3b24a72b2da55047bed40d6de48578cb87cd8a Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 18 Jan 2006 10:42:01 +0000 Subject: [PATCH] changed universes merging order: euristic which improve performances --- helm/ocaml/cic/cicUniv.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/ocaml/cic/cicUniv.ml b/helm/ocaml/cic/cicUniv.ml index 669025ffe..cfcbaf741 100644 --- a/helm/ocaml/cic/cicUniv.ml +++ b/helm/ocaml/cic/cicUniv.ml @@ -577,7 +577,7 @@ let merge_ugraphs u v = (SOF.union v.one_s_eq v.eq_closure) x))) ) m1 m2 in - merge_brutal u v + merge_brutal v u (*****************************************************************************) -- 2.39.2