removed debugging temporary

Former-commit-id: cb988c6ae0 [formerly 2163222cf2] Former-commit-id: 304f87220c
9 years ago · 1d99a18edb
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) {