Skip to content
Snippets Groups Projects
Commit 426a87d5 authored by pmai's avatar pmai
Browse files

Fixed a bug in the pretty-printer for vectors, where the handling of

*print-length* would cause the ellipsis to be printed directly adjacent
to the previous item, rather than separated via a space, which could cause
the reader not to detect the abbreviation.
parent 50506917
No related branches found
No related tags found
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment