bug_3896.v « closed « bugs « test-suite - coq - The formal proof system

about summary refs log tree commit diff

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

blob: 5ccc9c5d3aa81734c04717b04d80b8fe1af2fc4a (plain)

Goal True.
pose proof 0 as n.
Fail apply pair in n.
(* Used to be an anomaly for a while *)
Abort.