From dcaa83d9989a04ac8ebd33dcfd08033cbcf955d0 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Fri, 18 Nov 2016 17:46:32 +0100
Subject: [PATCH] fixed a series of spurious unused parameter warnings

---
 src/storm/generator/CompressedState.h                     | 2 +-
 src/storm/modelchecker/results/QualitativeCheckResult.cpp | 4 ++--
 src/storm/parser/GspnParser.cpp                           | 2 +-
 src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp   | 2 +-
 4 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/storm/generator/CompressedState.h b/src/storm/generator/CompressedState.h
index 4ad89b604..1a785dbaa 100644
--- a/src/storm/generator/CompressedState.h
+++ b/src/storm/generator/CompressedState.h
@@ -15,7 +15,7 @@ namespace storm {
         
         typedef storm::storage::BitVector CompressedState;
 
-        class VariableInformation;
+        struct VariableInformation;
         
         /*!
          * Unpacks the compressed state into the evaluator.
diff --git a/src/storm/modelchecker/results/QualitativeCheckResult.cpp b/src/storm/modelchecker/results/QualitativeCheckResult.cpp
index a4122153b..d9b837493 100644
--- a/src/storm/modelchecker/results/QualitativeCheckResult.cpp
+++ b/src/storm/modelchecker/results/QualitativeCheckResult.cpp
@@ -5,11 +5,11 @@
 
 namespace storm {
     namespace modelchecker {
-        QualitativeCheckResult& QualitativeCheckResult::operator&=(QualitativeCheckResult const& other) {
+        QualitativeCheckResult& QualitativeCheckResult::operator&=(QualitativeCheckResult const&) {
             STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Unable to perform logical 'and' on the two check results.");
         }
         
-        QualitativeCheckResult& QualitativeCheckResult::operator|=(QualitativeCheckResult const& other) {
+        QualitativeCheckResult& QualitativeCheckResult::operator|=(QualitativeCheckResult const&) {
             STORM_LOG_THROW(false, storm::exceptions::InvalidOperationException, "Unable to perform logical 'or' on the two check results.");
         }
         
diff --git a/src/storm/parser/GspnParser.cpp b/src/storm/parser/GspnParser.cpp
index 9a0eedd91..6f5b3c731 100644
--- a/src/storm/parser/GspnParser.cpp
+++ b/src/storm/parser/GspnParser.cpp
@@ -81,7 +81,7 @@ namespace storm {
             delete errHandler;
             xercesc::XMLPlatformUtils::Terminate();
 #else
-            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Storm is not compiled with XML support");
+            STORM_LOG_THROW(false, storm::exceptions::UnexpectedException, "Storm is not compiled with XML support: " << filename << " can not be parsed");
 #endif
         }
     }
diff --git a/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp b/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp
index e7f64c9a9..9efc0d34b 100644
--- a/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp
+++ b/src/storm/storage/dd/sylvan/InternalSylvanDdManager.cpp
@@ -103,7 +103,7 @@ namespace storm {
             return std::make_pair(first, second);
         }
         
-        void InternalDdManager<DdType::Sylvan>::allowDynamicReordering(bool value) {
+        void InternalDdManager<DdType::Sylvan>::allowDynamicReordering(bool) {
             STORM_LOG_THROW(false, storm::exceptions::NotSupportedException, "Operation is not supported by sylvan.");
         }