From a1e2ada9f2430582d19c79a56f31ce0a826ecf02 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 18 Nov 2016 00:11:32 +0100
Subject: [PATCH] suppress more warnings in gmm and in eigen

---
 src/storm/utility/eigen.h | 2 ++
 src/storm/utility/gmm.h   | 1 +
 2 files changed, 3 insertions(+)

diff --git a/src/storm/utility/eigen.h b/src/storm/utility/eigen.h
index a179d95cd..398bbd243 100644
--- a/src/storm/utility/eigen.h
+++ b/src/storm/utility/eigen.h
@@ -6,6 +6,8 @@
 // Finally include the parts of Eigen we need.
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wignored-attributes"
+#pragma GCC diagnostic ignored "-Wmisleading-indentation"
+#pragma GCC diagnostic ignored "-Wunused-parameter"
 #include <Eigen/Sparse>
 #include <unsupported/Eigen/IterativeSolvers>
 #pragma GCC diagnostic pop
diff --git a/src/storm/utility/gmm.h b/src/storm/utility/gmm.h
index c92fb5899..0b0e034ce 100644
--- a/src/storm/utility/gmm.h
+++ b/src/storm/utility/gmm.h
@@ -8,6 +8,7 @@
 
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wdeprecated-declarations"
+#pragma GCC diagnostic ignored "-Wmisleading-indentation"
 
 #include "gmm/gmm_matrix.h"
 #include "gmm/gmm_iter_solvers.h"