# HG changeset patch
# User mgronlun
# Date 1569089591 -7200
# Node ID 67151bcd8b1480866a79c7d78c0114843a7bb8e4
# Parent  c4067538a0f2683d6f01629e0de4abf2fe71df56
JfrTypeManager::destroy()

diff -r c4067538a0f2 -r 67151bcd8b14 src/hotspot/share/jfr/recorder/checkpoint/jfrCheckpointManager.cpp
--- a/src/hotspot/share/jfr/recorder/checkpoint/jfrCheckpointManager.cpp	Sat Sep 21 12:33:26 2019 +0200
+++ b/src/hotspot/share/jfr/recorder/checkpoint/jfrCheckpointManager.cpp	Sat Sep 21 20:13:11 2019 +0200
@@ -84,7 +84,7 @@
   if (_lock != NULL) {
     delete _lock;
   }
-  JfrTypeManager::clear();
+  JfrTypeManager::destroy();
 }
 
 static const size_t unlimited_mspace_size = 0;