return_term loc (CicNotationUtil.boxify p)
| "break" -> return_term loc (Layout Break)
(* | SYMBOL "\\SPACE" -> return_term loc (Layout Space) *)
- | "LPAREN"; p = l1_pattern; "RPAREN" ->
+ | LPAREN; p = l1_pattern; RPAREN ->
return_term loc (CicNotationUtil.boxify p)
]
| "simple" NONA