5469.v « closed « bugs « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/bugs/closed/5469.v

blob: fce671c754ee11c12211bf2d0e716f2812354f89 (plain)

1
2
3

(* Some problems with the special treatment of curly braces *)

Reserved Notation "'a' { x }" (at level 0, format "'a' { x }").