Adapted erase to receive an iterator instead of a const_iterator to make it work under linux.

Former-commit-id: cae58b3f60

src/modelchecker/reachability/SparseSccModelChecker.cpp

@@ -214,7 +214,7 @@ namespace storm {
                     typename FlexibleSparseMatrix<ValueType>::row_type& successorBackwardTransitions = backwardTransitions.getRow(successorEntry.getColumn());
                     
                     // Delete the current state as a predecessor of the successor state.
-                    typename FlexibleSparseMatrix<ValueType>::row_type::const_iterator elimIt = std::find_if(successorBackwardTransitions.begin(), successorBackwardTransitions.end(), [&](storm::storage::MatrixEntry<typename FlexibleSparseMatrix<ValueType>::index_type, typename FlexibleSparseMatrix<ValueType>::value_type> const& a) { return a.getColumn() == state; });
+                    typename FlexibleSparseMatrix<ValueType>::row_type::iterator elimIt = std::find_if(successorBackwardTransitions.begin(), successorBackwardTransitions.end(), [&](storm::storage::MatrixEntry<typename FlexibleSparseMatrix<ValueType>::index_type, typename FlexibleSparseMatrix<ValueType>::value_type> const& a) { return a.getColumn() == state; });
                     if (elimIt != successorBackwardTransitions.end()) {
                         successorBackwardTransitions.erase(elimIt);
                     }