From 5a066b9ae0a36dfea6252165fbdec9fb0cb83894 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Sat, 12 Mar 2016 15:32:48 +0100
Subject: [PATCH] Used duplicate variable name

Former-commit-id: 3f47dfb3d1f9927ab9bd60897c56ad0b000610b4
---
 src/storage/dft/SymmetricUnits.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storage/dft/SymmetricUnits.h b/src/storage/dft/SymmetricUnits.h
index 82d747115..643305045 100644
--- a/src/storage/dft/SymmetricUnits.h
+++ b/src/storage/dft/SymmetricUnits.h
@@ -48,9 +48,9 @@ namespace storm {
             
             std::vector<std::vector<size_t>> createSymmetry(std::vector<std::vector<size_t>> parentSymmetry, std::vector<std::vector<size_t>> childSymmetry, size_t index) {
                 std::vector<std::vector<size_t>> result;
-                for (std::vector<size_t> childSymmetry : childSymmetry) {
+                for (std::vector<size_t> childSym : childSymmetry) {
                     std::vector<size_t> symmetry;
-                    for (size_t child : childSymmetry) {
+                    for (size_t child : childSym) {
                         int bijectionValue = applySymmetry(parentSymmetry, child, index);
                         if (bijectionValue >= 0) {
                             symmetry.push_back(bijectionValue);
@@ -135,4 +135,4 @@ namespace storm {
             return os;
         }
     }
-}
\ No newline at end of file
+}