Index: tools/catch_exception_tool.cc |
diff --git a/tools/catch_exception_tool.cc b/tools/catch_exception_tool.cc |
index b18f9b5dbac12c75a37e1a12e7ba7adbc7ad465a..3fcc221640d945bc043b2b37dcc1cc85d58da6b5 100644 |
--- a/tools/catch_exception_tool.cc |
+++ b/tools/catch_exception_tool.cc |
@@ -70,6 +70,7 @@ class ExceptionServer : public UniversalMachExcServer { |
mach_msg_type_number_t old_state_count, |
thread_state_t new_state, |
mach_msg_type_number_t* new_state_count, |
+ const mach_msg_trailer_t* trailer, |
bool* destroy_complex_request) override { |
*destroy_complex_request = true; |
++*exceptions_handled_; |