From c0075f1cc41336b90c506e6c07e6816391246541 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Mon, 23 Sep 2019 12:23:37 +0200
Subject: [PATCH] Removed unused variable

---
 src/storm-dft/storage/dft/DFT.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/storm-dft/storage/dft/DFT.cpp b/src/storm-dft/storage/dft/DFT.cpp
index 890eba04a..6c3324bf2 100644
--- a/src/storm-dft/storage/dft/DFT.cpp
+++ b/src/storm-dft/storage/dft/DFT.cpp
@@ -25,7 +25,6 @@ namespace storm {
             // We don't directly call setDynamicBehaviorInfo to not slow down DFT generation if possible
             mDynamicBehavior = std::vector<bool>(mElements.size());
             std::fill(mDynamicBehavior.begin(), mDynamicBehavior.end(), true);
-            size_t nrRepresentatives = 0;
 
             for (auto& elem : mElements) {
                 if (isRepresentative(elem->id())) {