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> createSymmetry(std::vector> parentSymmetry, std::vector> childSymmetry, size_t index) { std::vector> result; - for (std::vector childSymmetry : childSymmetry) { + for (std::vector childSym : childSymmetry) { std::vector 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 +}