From b2430578843f916c7bae38141bd9a462cfdf0e46 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Sat, 6 Aug 2016 22:29:58 +0200
Subject: [PATCH] fix in eliminateAll

Former-commit-id: 93f753d148754933bc99be0bb8503941ee56433d
---
 src/solver/stateelimination/PrioritizedStateEliminator.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solver/stateelimination/PrioritizedStateEliminator.cpp b/src/solver/stateelimination/PrioritizedStateEliminator.cpp
index 99ccabb93..b4014108a 100644
--- a/src/solver/stateelimination/PrioritizedStateEliminator.cpp
+++ b/src/solver/stateelimination/PrioritizedStateEliminator.cpp
@@ -39,7 +39,7 @@ namespace storm {
             void PrioritizedStateEliminator<ValueType>::eliminateAll(bool removeForwardTransitions) {
                 while (priorityQueue->hasNext()) {
                     storm::storage::sparse::state_type state = priorityQueue->pop();
-                    this->eliminateState(priorityQueue->pop(), removeForwardTransitions);
+                    this->eliminateState(state, removeForwardTransitions);
                     if (removeForwardTransitions) {
                         clearStateValues(state);
                     }