| changeset 54781 | f3f07c76d3d1 |
| parent 54262 | 1f9ad92e337b |
| child 55338 | 755e82641224 |
| child 58678 | 9cf78a70fa4f |
--- a/src/hotspot/share/gc/g1/g1ConcurrentMark.hpp Thu May 09 14:26:03 2019 +0200 +++ b/src/hotspot/share/gc/g1/g1ConcurrentMark.hpp Thu May 09 14:26:03 2019 +0200 @@ -31,6 +31,7 @@ #include "gc/g1/g1RegionMarkStatsCache.hpp" #include "gc/g1/heapRegionSet.hpp" #include "gc/shared/taskqueue.hpp" +#include "gc/shared/verifyOption.hpp" #include "memory/allocation.hpp" #include "utilities/compilerWarnings.hpp"