hotspot/src/share/vm/includeDB_jvmti
changeset 7106 867c9d296c6b
parent 5547 f4b087cbb361
child 7123 523bb0f29d61
--- a/hotspot/src/share/vm/includeDB_jvmti	Mon Oct 18 15:43:29 2010 -0700
+++ b/hotspot/src/share/vm/includeDB_jvmti	Tue Oct 19 16:14:34 2010 -0700
@@ -87,6 +87,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