Remove duplicate declaration of page_table
commit124f15e548a13f6089c1883efdedf4710850054f
authorDouglas Katzman <dougk@google.com>
Tue, 28 Mar 2017 02:26:30 +0000 (27 22:26 -0400)
committerDouglas Katzman <dougk@google.com>
Tue, 28 Mar 2017 02:26:30 +0000 (27 22:26 -0400)
treea2cb3cc24bd5735e492baeaa25f65c170bb9ac0e
parent473767d4b15135511d0b537cb8c6b0d7a2dbb3ff
Remove duplicate declaration of page_table
src/runtime/gencgc-internal.h