diff options
Diffstat (limited to 'client/platform.h')
| -rw-r--r-- | client/platform.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/client/platform.h b/client/platform.h index a36cdc50..50db1534 100644 --- a/client/platform.h +++ b/client/platform.h @@ -42,6 +42,7 @@ public: static void path_append(std::string& path, const std::string& partial_path); static uint64_t get_process_id(); static uint64_t get_thread_id(); + static void term_printf(const char* format, ...); static const MonitorsList& init_monitors(); static void destroy_monitors(); |