diff --git a/src/builder/DdJaniModelBuilder.cpp b/src/builder/DdJaniModelBuilder.cpp
index a4dae2fbb..0c467b3f1 100644
--- 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) {