From 7b6101c2209c61de7a26bae6afde582904a81f01 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Thu, 21 May 2020 13:36:26 +0200
Subject: [PATCH] Updated list of ignored warnings for Eigen

---
 src/storm/utility/eigen.h | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/storm/utility/eigen.h b/src/storm/utility/eigen.h
index b633683f4..507769b8c 100644
--- a/src/storm/utility/eigen.h
+++ b/src/storm/utility/eigen.h
@@ -8,9 +8,7 @@
 #pragma clang diagnostic ignored "-Wunknown-pragmas"
 #elif defined(__GNUC__)
 #pragma GCC diagnostic push
-#pragma GCC diagnostic ignored "-Wignored-attributes"
-#pragma GCC diagnostic ignored "-Wmisleading-indentation"
-#pragma GCC diagnostic ignored "-Wunused-parameter"
+#pragma GCC diagnostic ignored "-Wdeprecated-copy" // Should be fixed for versions after 3.3.7
 #endif
 
 // Finally include the parts of Eigen we need.