test-suite/bugs/closed/bug_12233.v


1
2
3
4
5

Theorem thm (A:Prop) (H:exists m:nat, True) : True.
destruct H as ([|],?).
assert A.
Show Proof. (* was raising Not_found since 8.7 *)
Abort.