commit 954eef0f0778bf903d6eb17b65f18df73a9ec7ed parent 89411db07ca7ceae6adb1aafa1362f6e824c28ad Author: Michael Savage <mikejsavage@gmail.com> Date: Sun Jan 8 22:15:39 +0200 Fix up server includes Diffstat:
server/main.cc | | | 5 | +++-- |
diff --git a/server/main.cc b/server/main.cc @@ -1,7 +1,7 @@ -#include <sys/time.h> - #include <stdio.h> #include <errno.h> +#include <err.h> +#include <time.h> #include "intrinsics.h" #include "log.h" @@ -11,6 +11,7 @@ #include "linear_algebra.h" #include "int_conversions.h" #include "rng/well512.h" +#include "platform_io.h" #include "platform_network.h" #define PORT 13337