| Index: src/arm64/simulator-arm64.h
 | 
| diff --git a/src/arm64/simulator-arm64.h b/src/arm64/simulator-arm64.h
 | 
| index 586f204be503eb8a782693335b4a3d5465a08b8a..724c767ab726d04ab31549460c837621f872bf82 100644
 | 
| --- a/src/arm64/simulator-arm64.h
 | 
| +++ b/src/arm64/simulator-arm64.h
 | 
| @@ -14,7 +14,6 @@
 | 
|  #include "src/arm64/disasm-arm64.h"
 | 
|  #include "src/arm64/instrument-arm64.h"
 | 
|  #include "src/assembler.h"
 | 
| -#include "src/base/compiler-specific.h"
 | 
|  #include "src/globals.h"
 | 
|  #include "src/utils.h"
 | 
|  
 | 
| @@ -795,7 +794,7 @@
 | 
|    // Output stream.
 | 
|    FILE* stream_;
 | 
|    PrintDisassembler* print_disasm_;
 | 
| -  void PRINTF_FORMAT(2, 3) TraceSim(const char* format, ...);
 | 
| +  void PRINTF_METHOD_CHECKING TraceSim(const char* format, ...);
 | 
|  
 | 
|    // Instrumentation.
 | 
|    Instrument* instrument_;
 | 
| 
 |