hotspot/src/share/vm/includeDB_jvmti
changeset 7123 523bb0f29d61
parent 6975 dc9b63952682
parent 7106 867c9d296c6b
--- a/hotspot/src/share/vm/includeDB_jvmti	Thu Nov 04 16:17:54 2010 -0700
+++ b/hotspot/src/share/vm/includeDB_jvmti	Mon Nov 08 14:33:48 2010 -0800
@@ -89,6 +89,7 @@
 jvmtiEnv.hpp                            jvmtiEnvBase.hpp
 
 jvmtiEnvBase.cpp                        biasedLocking.hpp
+jvmtiEnvBase.cpp                        deoptimization.hpp
 jvmtiEnvBase.cpp                        interfaceSupport.hpp
 jvmtiEnvBase.cpp                        jfieldIDWorkaround.hpp
 jvmtiEnvBase.cpp                        jvmtiEnv.hpp