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

Lemma foo x : True.