cherry pick from local- branch
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Mon, 7 Feb 2011 13:23:30 +0000 (13:23 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Mon, 7 Feb 2011 13:23:30 +0000 (13:23 +0000)
commit0c2338bfcdae0df1c68112a10247dc4e68a483ff
tree91d5608d2cfeba4421d20b0964ea4e7c1a6f1ed7
parentac8c1ac563a2c089f789eed5a03ff5b84a2c4fe0
cherry pick from local- branch

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@949 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
OCamlDriver.cpp
tree.ml
tree.mli