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 AISBL. All rights reserved. Privacy Policy | Terms of Use | Copyright Agent