From d7e3d10272b3f4fc74839f25cc59029c9f4e0f9c Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 4 Feb 2016 13:45:08 +0100
Subject: [PATCH] Small refactoring

Former-commit-id: c800918d3e8f1a62d2df0419089cae591cfa858e
---
 src/storage/dft/DFTBuilder.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storage/dft/DFTBuilder.cpp b/src/storage/dft/DFTBuilder.cpp
index fd068bf7c..d49bfd067 100644
--- a/src/storage/dft/DFTBuilder.cpp
+++ b/src/storage/dft/DFTBuilder.cpp
@@ -119,12 +119,12 @@ namespace storm {
         // TODO Matthias: use typedefs
         template<typename ValueType>
         std::vector<std::shared_ptr<DFTElement<ValueType>>> DFTBuilder<ValueType>::topoSort() {
-            std::map<std::shared_ptr<DFTElement<ValueType>>, topoSortColour> visited;
+            std::map<DFTElementPointer, topoSortColour> visited;
             for(auto const& e : mElements) {
                 visited.insert(std::make_pair(e.second, topoSortColour::WHITE)); 
             }
 
-            std::vector<std::shared_ptr<DFTElement<ValueType>>> L;
+            DFTElementVector L;
             for(auto const& e : visited) {
                 topoVisit(e.first, visited, L);
             }