Backed out changeset ef19e4e58b8c
restoring old argument order on synthesized formulas
Description
Description
Details
Details
- Provenance
sterraf Authored on - Parents
- rAFPef19e4e58b8c: synthesized formulas have their variables permuted
- Branches
- Unknown
- Tags
- Reverts
- rAFPef19e4e58b8c: synthesized formulas have their variables permuted