Index: src/optimizing-compiler-thread.h |
diff --git a/src/optimizing-compiler-thread.h b/src/optimizing-compiler-thread.h |
index 59c94cb214263a365d181e3c47407502f21fc838..699c76dcb8849b5ac89f51d8bc266d2b5d2e39d8 100644 |
--- a/src/optimizing-compiler-thread.h |
+++ b/src/optimizing-compiler-thread.h |
@@ -83,8 +83,12 @@ class OptimizingCompilerThread : public Thread { |
#endif |
~OptimizingCompilerThread() { |
+ delete install_mutex_; |
delete input_queue_semaphore_; |
delete stop_semaphore_; |
+#ifdef DEBUG |
+ delete thread_id_mutex_; |
+#endif |
} |
private: |