From 5d260c396fce8977588e331134aea5d582dfd3bd Mon Sep 17 00:00:00 2001 From: Sebastian Ullrich Date: Thu, 7 May 2020 16:03:58 +0200 Subject: [PATCH] fix: macOS build --- src/runtime/io.cpp | 3 ++- stage0/src/runtime/io.cpp | 1 + 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/src/runtime/io.cpp b/src/runtime/io.cpp index 1afebd2fe2..9a8647c4f8 100644 --- a/src/runtime/io.cpp +++ b/src/runtime/io.cpp @@ -8,9 +8,10 @@ Author: Leonardo de Moura #include #elif defined(__APPLE__) #include +#include #else // Linux include files -#include +#include // NOLINT #endif #include #include diff --git a/stage0/src/runtime/io.cpp b/stage0/src/runtime/io.cpp index 1afebd2fe2..cad4eac6b5 100644 --- a/stage0/src/runtime/io.cpp +++ b/stage0/src/runtime/io.cpp @@ -8,6 +8,7 @@ Author: Leonardo de Moura #include #elif defined(__APPLE__) #include +#include #else // Linux include files #include