diff options
Diffstat (limited to 'src/common/timer.cpp')
| -rw-r--r-- | src/common/timer.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/common/timer.cpp b/src/common/timer.cpp index 0215b53..004771c 100644 --- a/src/common/timer.cpp +++ b/src/common/timer.cpp @@ -8,6 +8,7 @@ #include <cstdlib> #include <cstring> +#include "cxxstdio.hpp" #include "utils.hpp" static @@ -183,12 +184,12 @@ void delete_timer(timer_id id, timer_func func) { if (id == 0 || id >= timer_data_num) { - fprintf(stderr, "delete_timer error : no such timer %d\n", id); + FPRINTF(stderr, "delete_timer error : no such timer %d\n", id); abort(); } if (timer_data[id].func != func) { - fprintf(stderr, "Timer mismatch\n"); + FPRINTF(stderr, "Timer mismatch\n"); abort(); } // "to let them disappear" - is this just in case? |