From: Kim Nguyễn <kn@lri.fr>
Date: Wed, 14 Mar 2012 18:07:26 +0000 (+0100)
Subject: Change inlining parameter to 1000 again.
X-Git-Url: http://git.nguyen.vg/gitweb/?a=commitdiff_plain;ds=sidebyside;h=a3cacfe74ac30fee5fe3afd6b7fa98dea774aad6;hp=a3cacfe74ac30fee5fe3afd6b7fa98dea774aad6;p=SXSI%2Fxpathcomp.git

Change inlining parameter to 1000 again.
---