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>
Fri, 16 Mar 2012 15:08:22 +0000 (16:08 +0100)
commit8418336ce6ce7cc0970332438de9af1114ff1089
tree228f1617010fcd0a3915683b92824d58f61b0fc6
parent95f1e34ef0a9dd4c700c15ae3d5a6054a198b0b1
Change inlining parameter to 1000 again.
myocamlbuild_config.ml.in