- xml_printf (out, level + 2, "<rule number=\"%d\" usefulness=\"%s\">",
- rules[r].number, usefulness);
+ xml_indent (out, level + 2);
+ fprintf (out, "<rule number=\"%d\" usefulness=\"%s\"",
+ rules[r].number, usefulness);
+ if (rules[r].precsym)
+ fprintf (out, " percent_prec=\"%s\"", rules[r].precsym->tag);
+ fputs (">\n", out);