diff --git a/src/utils/includeSingeli.h b/src/utils/includeSingeli.h index ec98eb9b..b7b403a0 100644 --- a/src/utils/includeSingeli.h +++ b/src/utils/includeSingeli.h @@ -37,6 +37,7 @@ #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-variable" #pragma GCC diagnostic ignored "-Wmaybe-uninitialized" +#pragma GCC diagnostic ignored "-Wunused-label" #include SINGELI_FILE1(../../build/obj2/SINGELI_DIR/SINGELI_FILE.c) #pragma GCC diagnostic pop