From 84ef963a479eba52a016ae9eed938f450e77094f Mon Sep 17 00:00:00 2001 From: Daan Leijen Date: Wed, 15 Mar 2023 14:43:35 -0700 Subject: [PATCH] remove conioinclude --- src/options.c | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/options.c b/src/options.c index 4c76ae41..f0c52c84 100644 --- a/src/options.c +++ b/src/options.c @@ -23,9 +23,6 @@ int mi_version(void) mi_attr_noexcept { return MI_MALLOC_VERSION; } -#ifdef _WIN32 -#include -#endif // -------------------------------------------------------- // Options