test-suite/bugs/closed/bug_12234.v


1
2
3
4
5
6
7
8
9

(* Checking a Show Proof bug *)
Section S.
Variable A:Prop.
Theorem thm (a:A) : True.
assert (b:=a).
clear A a b.
Show Proof.
Abort.
End S.