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);
                     }