Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix wrong name for unroll in ocamloptp #1843

Merged
merged 1 commit into from Jun 20, 2018

Conversation

Projects
None yet
3 participants
@poechsel
Copy link
Contributor

commented Jun 15, 2018

When using ocamlopt with the argument -inline-max-unroll, ocamloptp would pass it as -unroll to ocamlopt, thus leading to an error.

@nojb

nojb approved these changes Jun 15, 2018

@nojb

This comment has been minimized.

Copy link
Contributor

commented Jun 15, 2018

Thanks!

@xavierleroy xavierleroy merged commit 71d0d57 into ocaml:trunk Jun 20, 2018

1 of 2 checks passed

continuous-integration/travis-ci/pr The Travis CI build failed
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
@xavierleroy

This comment has been minimized.

Copy link
Contributor

commented Jun 20, 2018

Added Changes entry in separate commit. This is an obscure bug so I'd rather not rush it into 4.07.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.