aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/failure/Case1.v
blob: df11ed386c199a48ad34fbde9f3b44180919cdce (plain)
1
2
3
4
Type match 0 with
     | x => 0
     | O => 1
     end.