From 1c01a54b5341ea677e8557f12d6c9ebf4e40d72c Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Mon, 30 May 2016 18:10:09 +0200
Subject: [PATCH] fixed more issues with boost::transform_iterator

Former-commit-id: 3003ba3f743a8689f6bd95e26ed16316aa237230
---
 src/storage/jani/VariableSet.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/storage/jani/VariableSet.h b/src/storage/jani/VariableSet.h
index 1ab0b758b..8d5aa3aed 100644
--- a/src/storage/jani/VariableSet.h
+++ b/src/storage/jani/VariableSet.h
@@ -54,8 +54,8 @@ namespace storm {
                 const_iterator end();
                 
             private:
-                input_iterator it;
-                input_iterator ite;
+                const_input_iterator it;
+                const_input_iterator ite;
             };
         }
         
@@ -64,7 +64,7 @@ namespace storm {
             typedef typename std::vector<std::shared_ptr<Variable>>::iterator input_iterator;
             typedef typename std::vector<std::shared_ptr<Variable>>::const_iterator const_input_iterator;
             typedef boost::transform_iterator<detail::Dereferencer<Variable>, input_iterator> iterator;
-            typedef boost::transform_iterator<detail::Dereferencer<Variable>, const_input_iterator> const_iterator;
+            typedef boost::transform_iterator<detail::Dereferencer<Variable const>, const_input_iterator> const_iterator;
             
             /*!
              * Creates an empty variable set.