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