Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Otherwise, for EQUIVALENCE the wrong type may be used as the general type. This happens f.e. in ieeer.x
- Loading branch information