path: root/test-suite/output/Match_subterm.v

Goal 0 = 1.
match goal with
| |- context [?v] =>
  idtac v ; fail
| _ => idtac 2
end.
Abort.