More option printing fixes.
authorkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 19:26:13 +0000 (19:26 +0000)
committerkim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Fri, 9 Sep 2011 19:26:13 +0000 (19:26 +0000)
commit7b4efbdf1b9e4e972f2b1d3c3c5c69235f7a964a
tree404fec63884bdc6d516ca8106af6a87532d535c2
parenta3f00ceeb7a1c6de24cb255485b9466a74b78392
More option printing fixes.

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