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 #include #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"