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