src/hotspot/share/gc/g1/g1GCPhaseTimes.hpp
changeset 50049 9d17c375dc30
parent 49964 99e698e94cc7
child 50438 66d0ded78cce
--- a/src/hotspot/share/gc/g1/g1GCPhaseTimes.hpp	Tue May 08 09:57:45 2018 +0200
+++ b/src/hotspot/share/gc/g1/g1GCPhaseTimes.hpp	Tue May 08 10:01:29 2018 +0200
@@ -261,10 +261,6 @@
     _cur_weak_ref_proc_time_ms = ms;
   }
 
-  void record_ref_enq_time(double ms) {
-    _cur_ref_enq_time_ms = ms;
-  }
-
   void record_root_region_scan_wait_time(double time_ms) {
     _root_region_scan_wait_time_ms = time_ms;
   }