Fix BDD variable order option name in CIF documentation
It was recently renamed, but in one place it was not renamed.
It was recently renamed, but in one place it was not renamed.
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent