gcc pendantic warning switched off

Former-commit-id: c5b389f737

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_ */