Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | closes #2956 | Adriaan Moors | 2010-02-26 | 1 | -0/+6 |
the problem was that corresponds on Seq's does not check length of sequences before testing the predicate, whereas in some cases that predicate relied on this invariant (when it was doing substitution) |