4737.v « closed « bugs « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

path: root/test-suite/bugs/closed/4737.v

blob: 84ed45e4546c719f02f3f8c5869bb942e53191a8 (plain)

Goal True.
Proof.
exact I; cycle 1.
Qed.

Goal True.
Proof.
exact I; swap 1 2.
Qed.