From: kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
Date: Thu, 30 Apr 2009 14:25:01 +0000 (+0000)
Subject: Further optimisations, changed the prototype of Tree.mli
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;h=70ff0bfc463882ecf233f1b1a7ac4a8007fa4cc2;hp=70ff0bfc463882ecf233f1b1a7ac4a8007fa4cc2;p=SXSI%2Fxpathcomp.git

Further optimisations, changed the prototype of Tree.mli

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