diff options
-rw-r--r-- | disas/arm-a64.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/disas/arm-a64.cc b/disas/arm-a64.cc index b0803f9..b57256b 100644 --- a/disas/arm-a64.cc +++ b/disas/arm-a64.cc @@ -42,7 +42,7 @@ public: stream_ = stream; } - void SetPrintf(int (*printf_fn)(FILE *, const char *, ...)) { + void SetPrintf(fprintf_function printf_fn) { printf_ = printf_fn; } @@ -53,7 +53,7 @@ protected: } private: - int (*printf_)(FILE *, const char *, ...); + fprintf_function printf_; FILE *stream_; }; |