aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/evarlemma.v
blob: ae40774c9595b05c7e58b633790b77aabf57048a (plain)
1
2
3
(* Check success of inference of evars in the context of lemmas *)

Fail Lemma foo x : True.