Small improvements in compilation times for the register allocation pass.

Maps.v: add a PTree.fold1 operation that doesn't maintain the key.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2329 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 2 insertions, 0 deletions

diff --git a/Changelog b/Changelog
index b603c32..abc016a 100644
--- a/Changelog
+++ b/Changelog
@@ -14,6 +14,8 @@ Development trunk:
   of small integer or FP types.
 - PowerPC: more efficient implementation of division on 64-bit integers.
 - Minor simplifications in the generic solvers for dataflow analysis.
+- Small improvements in compilation times for the register allocation pass.
+
 
 Release 2.0, 2013-06-21
 =======================