Auto merge of #14669 - emilio:dirty-descendants-unused, r=Wafflespeanut

script: Remove unused function.

This is no longer used since one of @bholley's patches to the style system.

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/servo/14669)
<!-- Reviewable:end -->
This commit is contained in:
bors-servo 2016-12-22 05:23:00 -08:00 committed by GitHub
commit b843be4975

View file

@ -426,10 +426,6 @@ impl Node {
self.get_flag(HAS_DIRTY_DESCENDANTS)
}
pub fn set_has_dirty_descendants(&self, state: bool) {
self.set_flag(HAS_DIRTY_DESCENDANTS, state)
}
pub fn rev_version(&self) {
// The new version counter is 1 plus the max of the node's current version counter,
// its descendants version, and the document's version. Normally, this will just be