| 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_;
|
|
|