diff options
| author | bunnei <bunneidev@gmail.com> | 2016-10-31 15:33:39 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-31 15:33:39 -0400 |
| commit | 946b62c03dad318673138d9e9b5030aa7a195206 (patch) | |
| tree | a608c553f6c905961ce23647b3282599afd30ce6 /externals/microprofile/microprofileui.h | |
| parent | dc1e04137c3788a49b042a6aab95a9508cdee484 (diff) | |
| parent | 8b833d3a97712de3d547123bd4399ba8b530e2ac (diff) | |
Merge pull request #2123 from jbeich/freebsd
Fix build on DragonFly and FreeBSD
Diffstat (limited to 'externals/microprofile/microprofileui.h')
| -rw-r--r-- | externals/microprofile/microprofileui.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/externals/microprofile/microprofileui.h b/externals/microprofile/microprofileui.h index 45bec8af6..66a73abc5 100644 --- a/externals/microprofile/microprofileui.h +++ b/externals/microprofile/microprofileui.h @@ -172,6 +172,7 @@ MICROPROFILEUI_API void MicroProfileCustomGroupAddTimer(const char* pCustomName, #ifdef _WIN32 #define snprintf _snprintf #endif +#include <stdio.h> #include <stdlib.h> #include <stdarg.h> #include <math.h> |