diff --git a/src/storm/adapters/Smt2ExpressionAdapter.h b/src/storm/adapters/Smt2ExpressionAdapter.h
index de9293ab4..7c5b6dce4 100644
--- a/src/storm/adapters/Smt2ExpressionAdapter.h
+++ b/src/storm/adapters/Smt2ExpressionAdapter.h
@@ -35,7 +35,7 @@ namespace storm {
              * @param expression The expression to translate.
              * @return An equivalent expression for Smt2.
              */
-            std::string translateExpression(storm::expressions::Expression const& expression) {
+            std::string translateExpression(storm::expressions::Expression const& ) {
                 STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "functionality not (yet) implemented");
             }
             
@@ -98,7 +98,7 @@ namespace storm {
              * @param variable The variable to translate.
              * @return An equivalent expression for smt2.
              */
-            std::string translateExpression(storm::expressions::Variable const& variable) {
+            std::string translateExpression(storm::expressions::Variable const& ) {
                 STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "functionality not (yet) implemented");
             }
             
@@ -108,7 +108,7 @@ namespace storm {
              * @param smt2Declaration The declaration for which to find the equivalent.
              * @return The equivalent counterpart.
              */
-            storm::expressions::Variable const& getVariable(std::string smt2Declaration) {
+            storm::expressions::Variable const& getVariable(std::string const&) {
                 STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "functionality not (yet) implemented");
             }
             
diff --git a/src/storm/cli/entrypoints.h b/src/storm/cli/entrypoints.h
index e23169011..f5720c829 100644
--- a/src/storm/cli/entrypoints.h
+++ b/src/storm/cli/entrypoints.h
@@ -164,7 +164,7 @@ namespace storm {
         
 #ifdef STORM_HAVE_CARL
         template<>
-        void verifySymbolicModelWithExplorationEngine<storm::RationalFunction>(storm::storage::SymbolicModelDescription const& model, std::vector<storm::jani::Property> const& formulas, bool onlyInitialStatesRelevant) {
+        void verifySymbolicModelWithExplorationEngine<storm::RationalFunction>(storm::storage::SymbolicModelDescription const& , std::vector<storm::jani::Property> const& , bool ) {
             STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Exploration-based verification does currently not support parametric models.");
         }
 #endif
diff --git a/src/storm/modelchecker/dft/DFTModelChecker.cpp b/src/storm/modelchecker/dft/DFTModelChecker.cpp
index 894b56712..39a3966c8 100644
--- a/src/storm/modelchecker/dft/DFTModelChecker.cpp
+++ b/src/storm/modelchecker/dft/DFTModelChecker.cpp
@@ -395,7 +395,7 @@ namespace storm {
         }
 
         template<typename ValueType>
-        bool DFTModelChecker<ValueType>::isApproximationSufficient(ValueType lowerBound, ValueType upperBound, double approximationError, bool relative) {
+        bool DFTModelChecker<ValueType>::isApproximationSufficient(ValueType , ValueType , double , bool ) {
             STORM_LOG_THROW(false, storm::exceptions::NotImplementedException, "Approximation works only for double.");
         }
 
diff --git a/src/storm/utility/storm.h b/src/storm/utility/storm.h
index c0e7ff124..cee49998b 100644
--- a/src/storm/utility/storm.h
+++ b/src/storm/utility/storm.h
@@ -269,12 +269,12 @@ namespace storm {
 
 #ifdef STORM_HAVE_CARL
     template<>
-    inline void generateCounterexample(storm::storage::SymbolicModelDescription const& model, std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>> markovModel, std::shared_ptr<storm::logic::Formula const> const& formula) {
+    inline void generateCounterexample(storm::storage::SymbolicModelDescription const&, std::shared_ptr<storm::models::sparse::Model<storm::RationalNumber>> , std::shared_ptr<storm::logic::Formula const> const& ) {
         STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Unable to generate counterexample for exact arithmetic model.");
     }
 
     template<>
-    inline void generateCounterexample(storm::storage::SymbolicModelDescription const& model, std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>> markovModel, std::shared_ptr<storm::logic::Formula const> const& formula) {
+    inline void generateCounterexample(storm::storage::SymbolicModelDescription const&, std::shared_ptr<storm::models::sparse::Model<storm::RationalFunction>> , std::shared_ptr<storm::logic::Formula const> const& ) {
         STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Unable to generate counterexample for parametric model.");
     }
 #endif
diff --git a/src/storm/utility/sylvan.h b/src/storm/utility/sylvan.h
index 6123c03af..5b2f37c0e 100644
--- a/src/storm/utility/sylvan.h
+++ b/src/storm/utility/sylvan.h
@@ -11,6 +11,8 @@
 #pragma GCC diagnostic push
 #pragma GCC diagnostic ignored "-Wpedantic"
 
+#pragma GCC system_header // Only way to suppress some warnings atm.
+
 #include "sylvan_obj.hpp"
 
 #pragma GCC diagnostic pop