From 124f15e548a13f6089c1883efdedf4710850054f Mon Sep 17 00:00:00 2001 From: Douglas Katzman Date: Mon, 27 Mar 2017 22:26:30 -0400 Subject: [PATCH] Remove duplicate declaration of page_table --- src/runtime/gencgc-internal.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/runtime/gencgc-internal.h b/src/runtime/gencgc-internal.h index f7e3178b1..5feddc34c 100644 --- a/src/runtime/gencgc-internal.h +++ b/src/runtime/gencgc-internal.h @@ -195,7 +195,6 @@ scan_start_offset_iterated(page_index_t index) extern page_index_t page_table_pages; -extern struct page *page_table; /* forward declarations */ -- 2.11.4.GIT