test-suite/output/ShowProof.v


1
2
3
4
5
6

(* Was #4524 *)
Definition foo (x : Type) : True /\ True.
Proof.
split.
- exact I.
  Show Proof. (* Was not finding an evar name at some time *)