Skip to content

Remove space before `;;` in format directive.

Robbert Krebbers requested to merge robbert/seq_notation_space into master

The space should not be there and was added in oversight. This also provides forwards compatibility with https://github.com/coq/coq/pull/10832.

See also the discussion here: !335 (comment 41586)

Merge request reports