src/hotspot/share/gc/shared/workgroup.cpp
changeset 48123 f93055f440d8
parent 47216 71c04702a3d5
child 48955 e22914003cf0
--- a/src/hotspot/share/gc/shared/workgroup.cpp	Mon Nov 27 13:34:00 2017 +0100
+++ b/src/hotspot/share/gc/shared/workgroup.cpp	Mon Nov 27 13:50:03 2017 +0100
@@ -261,6 +261,10 @@
     _dispatcher(create_dispatcher())
 { }
 
+WorkGang::~WorkGang() {
+  delete _dispatcher;
+}
+
 AbstractGangWorker* WorkGang::allocate_worker(uint worker_id) {
   return new GangWorker(this, worker_id);
 }