Index: src/spaces.h |
diff --git a/src/spaces.h b/src/spaces.h |
index 6ff3ee3694dccd769a61bbc35342b66a317342f7..83653125fe51390bd776ab580378464f720bc12a 100644 |
--- a/src/spaces.h |
+++ b/src/spaces.h |
@@ -1697,7 +1697,7 @@ class PagedSpace : public Space { |
} |
// Releases an unused page and shrinks the space. |
- void ReleasePage(Page* page); |
+ void ReleasePage(Page* page, bool unlink); |
// The dummy page that anchors the linked list of pages. |
Page* anchor() { return &anchor_; } |