path: root/test-suite/bugs/opened/3186.v-disabled

Fixpoint a (_:unit):=
match eq_refl with
|eq_refl => a
end.