Revert "Call directly the low-level subtree_elements function instead of"
authorKim Nguyễn <kn@lri.fr>
Tue, 24 Apr 2012 14:24:39 +0000 (16:24 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 24 Apr 2012 14:24:39 +0000 (16:24 +0200)
commit94ca223be992a0514b08bc55263a787a577cfe4c
treeabbe197649d28d6218be3f73fbf883e5b73e17c4
parent3cf5212b52b4438522f27ff8ea27814a366e8b7a
Revert "Call directly the low-level subtree_elements function instead of"

This reverts commit d6c57f01eabebe2b11e1c701835562c2efc2fd92.
The tentative fix for performance regression is buggy and make things slower.
src/tree.ml