Join GitHub today
GitHub is home to over 36 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix wrong derivative reference #7037
What changes were proposed in this pull request?
How was this patch tested?
Build, now it gives the right results.
The following checklist helps ensure your PR is complete: