assert false
and aux_attribute xmlattrs mathonly xref pos prec uris t =
function
- | `Loc _ -> aux xmlattrs mathonly xref pos prec uris t
+ | `Loc _
+ | `Raw _ -> aux xmlattrs mathonly xref pos prec uris t
| `Level (child_prec, child_assoc) ->
let t' = aux xmlattrs mathonly xref pos child_prec uris t in
add_parens child_prec child_assoc pos prec t'