Silenced a warning

4 years ago · 9ce6076689
2 changed files with 1 additions and 2 deletions
--- 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++) {
--- 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;