Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixed error occuring in SEQ-TYPE when applied to empty strings and ve…
…ctors. (Was causing failure in test APPLY-PATCH after fixes to GitHub issue #5.)
- Loading branch information