merge branch 'jani_support' of https://sselab.de/lab9/private/git/storm into jani_support

Former-commit-id: 144c79118b [formerly c0f67176e2] Former-commit-id: 0fd30af28e
8 years ago · 3f34438d24
1 changed files with 0 additions and 1 deletions
--- a/src/builder/DdJaniModelBuilder.cpp
+++ b/src/builder/DdJaniModelBuilder.cpp
@ -961,7 +961,6 @@ namespace storm {
                    }
                    
                    // Bring all actions to the same number of variables that encode the nondeterminism.
-                    int i = 0;
                    for (auto& action : actions) {
                        storm::dd::Bdd<Type> nondeterminismEncodingBdd = this->variables.manager->getBddOne();
                        for (uint_fast64_t i = action.getHighestLocalNondeterminismVariable(); i < highestLocalNondeterminismVariable; ++i) {