Formatting/code clean-up.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Thu, 19 Jan 2012 10:12:43 +0000 (10:12 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Thu, 19 Jan 2012 10:12:43 +0000 (10:12 +0000)
commit6a86f6e048fd6c2d5768e413c469a87d7bb54eb5
tree9d8c7fdf0c43d28c30f1ac87a4d53863c2584bae
parentc0b6bf74a7df6f1c8951525cab015fda4c788a9d
Formatting/code clean-up.

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@1187 3cdefd35-fc62-479d-8e8d-bae585ffb9ca
src/ata.ml