aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/bugs/closed/5526.v
blob: 88f219be3070263747d6bb1d78c59f434aa5f0ed (plain)
1
2
3
Fail Notation "x === x" := (eq_refl x) (at level 10).
Reserved Notation "x === x" (only printing, at level 10).
Notation "x === x" := (eq_refl x) (only printing).