Revert last commit 13723 on Univ : minor gains and more complex code

 The gains on contribs are quite small, around 3% max, apart from
 3 small contribs where it's about 10% (corresponding to 10s each).
 With last patch, we add quicker lookup for universes in the graph
 (up to 5 times less calls to cmp_univ_level on an example), but
 probably more "administrative" work (i.e. addition of updated paths
 in the graphs, handling pairs of updated graphs and results in
 functions, etc), and some sharing might also have been lost since
 graphs changed more.

 Anyway, little gain and more complex code, let's remove this patch
 for now ... until the next attempt to speed-up the universe layer.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13724 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions