Skip to content

Fix ssreflect warning on Coq 8.10

Since Coq 8.10, move => {}e means move => {e}e. For the backward-compatible syntax and discussion, see https://github.com/coq/coq/issues/10550#issuecomment-542397265.

Merge request reports