From 9398cfa54a0046a16e59a59bb48d13587463a89d Mon Sep 17 00:00:00 2001 From: sjunges Date: Thu, 21 Jul 2016 16:36:13 +0200 Subject: [PATCH] gcc pendantic warning switched off Former-commit-id: c5b389f7378fd45e9a916a1b3474f3cf794f65aa --- src/utility/sylvan.h | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/utility/sylvan.h b/src/utility/sylvan.h index ccaffe097..156168601 100644 --- a/src/utility/sylvan.h +++ b/src/utility/sylvan.h @@ -7,9 +7,13 @@ #pragma clang diagnostic ignored "-Wgnu-zero-variadic-macro-arguments" #pragma clang diagnostic ignored "-Wdeprecated-register" #pragma clang diagnostic ignored "-Wc99-extensions" +#pragma clang diagnostic ignored "-Wunknown-pragmas" +#pragma GCC diagnostic push +#pragma GCC diagnostic ignored "-Wpendantic" #include "sylvan_obj.hpp" +#pragma GCC diagnostic pop #pragma clang diagnostic pop #endif /* STORM_STORAGE_DD_SYLVAN_SYLVAN_H_ */ \ No newline at end of file