From 9ce60766892ad52615587ade9c04fe1d0dae7e35 Mon Sep 17 00:00:00 2001
From: Tim Quatmann <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 11 Mar 2021 08:02:27 +0100
Subject: [PATCH] Silenced a warning

---
 src/storm/automata/AcceptanceCondition.cpp | 2 +-
 src/storm/automata/AcceptanceCondition.h   | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/storm/automata/AcceptanceCondition.cpp b/src/storm/automata/AcceptanceCondition.cpp
index 59e4f6775..14eb9c818 100644
--- a/src/storm/automata/AcceptanceCondition.cpp
+++ b/src/storm/automata/AcceptanceCondition.cpp
@@ -7,7 +7,7 @@ namespace storm {
 namespace automata {
 
 AcceptanceCondition::AcceptanceCondition(std::size_t numberOfStates, unsigned int numberOfAcceptanceSets, acceptance_expr::ptr acceptance)
-    : numberOfStates(numberOfStates), numberOfAcceptanceSets(numberOfAcceptanceSets), acceptance(acceptance) {
+    : numberOfAcceptanceSets(numberOfAcceptanceSets), acceptance(acceptance) {
 
     // initialize acceptance sets
     for (unsigned int i = 0; i < numberOfAcceptanceSets; i++) {
diff --git a/src/storm/automata/AcceptanceCondition.h b/src/storm/automata/AcceptanceCondition.h
index 7434cac4a..a70a96e10 100644
--- a/src/storm/automata/AcceptanceCondition.h
+++ b/src/storm/automata/AcceptanceCondition.h
@@ -30,7 +30,6 @@ namespace storm {
             bool isAccepting(const storm::storage::StateBlock& scc, acceptance_expr::ptr expr) const;
             void extractFromDNFRecursion(acceptance_expr::ptr e, std::vector<std::vector<acceptance_expr::ptr>>& dnf, bool topLevel) const;
 
-            std::size_t numberOfStates;
             unsigned int numberOfAcceptanceSets;
             acceptance_expr::ptr acceptance;
             std::vector<storm::storage::BitVector> acceptanceSets;