From 6a5e6902fe01dbab99a11df2f72967ba8b7e6ff6 Mon Sep 17 00:00:00 2001 From: Mateusz Pusz Date: Sat, 6 Jul 2024 18:09:41 +0100 Subject: [PATCH] fix: `MP_UNITS_API_CONTRACTS` should have a priority over headers availability --- src/core/include/mp-units/ext/contracts.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/include/mp-units/ext/contracts.h b/src/core/include/mp-units/ext/contracts.h index b274b021..4a48d64c 100644 --- a/src/core/include/mp-units/ext/contracts.h +++ b/src/core/include/mp-units/ext/contracts.h @@ -27,7 +27,7 @@ #include #include -#if MP_UNITS_API_CONTRACTS == 2 || __has_include() +#if MP_UNITS_API_CONTRACTS == 2 || (!defined MP_UNITS_API_CONTRACTS && __has_include()) #if MP_UNITS_HOSTED #include @@ -35,7 +35,7 @@ #include #endif -#elif MP_UNITS_API_CONTRACTS == 3 || __has_include() +#elif MP_UNITS_API_CONTRACTS == 3 || (!defined MP_UNITS_API_CONTRACTS && __has_include()) #if MP_UNITS_HOSTED #include