From 1d99a18edbd96f329b0ea88564e13fe3a42d50e3 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 29 Sep 2016 12:19:24 +0200
Subject: [PATCH] removed debugging temporary

Former-commit-id: cb988c6ae01624d420ac5720346d605f5909018d [formerly 2163222cf2ebafbd48c012f7f9eceb5320127c77]
Former-commit-id: 304f87220ce2333a6825cb02772ec1b12a6dcacf
---
 src/builder/DdJaniModelBuilder.cpp | 1 -
 1 file changed, 1 deletion(-)

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) {