Added debugging messages
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 17 May 2009 07:22:43 +0000 (07:22 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Sun, 17 May 2009 07:22:43 +0000 (07:22 +0000)
commitcfd834dcdee634387ad2354f1382eeb9d816be45
treeeec73c232abb58e3ee46db0c32789ba0f8c2d558
parentf0557f21878be17ddc75b1bc8f4f86da68c8e604
Added debugging messages

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@392 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
main.ml
tree.ml
utils.ml