src/hotspot/share/gc/g1/g1FullGCMarker.cpp
changeset 54781 f3f07c76d3d1
parent 52141 de6dc206a92b
--- a/src/hotspot/share/gc/g1/g1FullGCMarker.cpp	Thu May 09 14:26:03 2019 +0200
+++ b/src/hotspot/share/gc/g1/g1FullGCMarker.cpp	Thu May 09 14:26:03 2019 +0200
@@ -26,6 +26,7 @@
 #include "classfile/classLoaderData.hpp"
 #include "gc/g1/g1FullGCMarker.inline.hpp"
 #include "gc/shared/referenceProcessor.hpp"
+#include "gc/shared/verifyOption.hpp"
 #include "memory/iterator.inline.hpp"
 
 G1FullGCMarker::G1FullGCMarker(uint worker_id, PreservedMarks* preserved_stack, G1CMBitMap* bitmap) :