From d1482723869c7571b6a53878d8b6a7dc5519d3f0 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Tue, 23 Feb 2016 14:24:44 +0100
Subject: [PATCH] Forgot const

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

diff --git a/src/storage/dft/DFT.h b/src/storage/dft/DFT.h
index 22d001aaf..453db1443 100644
--- a/src/storage/dft/DFT.h
+++ b/src/storage/dft/DFT.h
@@ -84,16 +84,16 @@ namespace storm {
                 mSymmetries.push_back(std::make_pair(lenght, startingIndices));
             }
             
-            size_t getSymmetrySize() {
+            size_t getSymmetrySize() const {
                 return mSymmetries.size();
             }
             
-            size_t getSymmetryLength(size_t pos) {
+            size_t getSymmetryLength(size_t pos) const {
                 assert(pos < mSymmetries.size());
                 return mSymmetries[pos].first;
             }
             
-            std::vector<size_t> const& getSymmetryIndices(size_t pos) {
+            std::vector<size_t> const& getSymmetryIndices(size_t pos) const {
                 assert(pos < mSymmetries.size());
                 return mSymmetries[pos].second;
             }