Change inlining parameter to 1000 again.
authorKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 18:07:26 +0000 (19:07 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 14 Mar 2012 18:07:26 +0000 (19:07 +0100)
commita3cacfe74ac30fee5fe3afd6b7fa98dea774aad6
tree5f6916ae0ca8e15dfd4432bd8462cb4fecc22e11
parente3c2e79416bdf3238e7a9a1528641304ede15847
Change inlining parameter to 1000 again.
myocamlbuild_config.ml.in