From 3940dbf45c47935f064e1317e6f9c969900929af Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 17 Apr 2014 17:17:42 +0200
Subject: [PATCH] Accessing index of node via method interface, not member
 access.

Former-commit-id: d53006d5d44fe4ec52fbbdebeba58737466ed262
---
 src/storage/dd/CuddDdManager.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/dd/CuddDdManager.cpp b/src/storage/dd/CuddDdManager.cpp
index 4352e52b7..2d77c6350 100644
--- a/src/storage/dd/CuddDdManager.cpp
+++ b/src/storage/dd/CuddDdManager.cpp
@@ -192,7 +192,7 @@ namespace storm {
             }
             
             // Then, we sort this list according to the indices of the ADDs.
-            std::sort(variableNamePairs.begin(), variableNamePairs.end(), [](std::pair<ADD, std::string> const& a, std::pair<ADD, std::string> const& b) { return a.first.getNode()->index < b.first.getNode()->index; });
+            std::sort(variableNamePairs.begin(), variableNamePairs.end(), [](std::pair<ADD, std::string> const& a, std::pair<ADD, std::string> const& b) { return a.first.NodeReadIndex() < b.first.NodeReadIndex(); });
             
             // Now, we project the sorted vector to its second component.
             std::vector<std::string> result;