1.0.16.35: improved TIME output

[sbcl.git] / src / runtime / gencgc-internal.h

diff --git a/src/runtime/gencgc-internal.h b/src/runtime/gencgc-internal.h
index ba56529..bded273 100644 (file)
--- a/src/runtime/gencgc-internal.h
+++ b/src/runtime/gencgc-internal.h
@@ -93,7 +93,7 @@ struct page {
 /* values for the page.allocated field */
 
 \f
-extern unsigned page_table_pages;
+extern page_index_t page_table_pages;
 extern struct page *page_table;
 
 \f