From b3f20d974600890bc2a2473569ebea8384c2bba7 Mon Sep 17 00:00:00 2001 From: Peter Goodman Date: Thu, 27 Sep 2018 16:47:22 -0700 Subject: [PATCH] Minor tweak --- src/lib/Log.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/lib/Log.c b/src/lib/Log.c index dd22ea9..e09eab3 100644 --- a/src/lib/Log.c +++ b/src/lib/Log.c @@ -127,9 +127,7 @@ void DeepState_LogFormat(enum DeepState_LogLevel level, } #pragma clang diagnostic push -#pragma GCC diagnostic ignored "-Wunknown-warning-option" -/*#pragma clang diagnostic ignored "-Wbuiltin-declaration-mismatch" -*/ +#pragma clang diagnostic ignored "-Wunknown-warning-option" #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wbuiltin-declaration-mismatch"