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