: [DIGESTER] Patch for SetTopRule.java,v 1.10
Hi,
This patch is for SetTopRule.java,v 1.10. It's essentially a clarification
to the
API documentation although it includes edits on the end() method. The edit
on this
method is to swap the names of the variables 'parent' and 'child' to match
the roles
Hi,
This patch is for SetTopRule.java,v 1.10. It's essentially a clarification
to the
API documentation although it includes edits on the end() method. The edit
on this
method is to swap the names of the variables 'parent' and 'child' to match
the roles
of these variables have. It also