Fix bug in the handling of element-subtree lazy result sets. non-regression-tests
authorKim Nguyễn <kn@lri.fr>
Fri, 19 Oct 2012 13:07:45 +0000 (15:07 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 19 Oct 2012 13:07:45 +0000 (15:07 +0200)
commit5c37235963ddd5fbfcb6ab86c1f8ccb78d48f0f1
tree313bf72b34eff952748932fff6c9dcaf94ac3bc2
parent7d5e0a2c14a95a1fda05bf5c7f8bc7393e9116be
Fix bug in the handling of element-subtree lazy result sets.
src/nodeSet.ml