1 files changed, 1 insertions, 6 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/ObjectivePriorityQueueImpl.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/ObjectivePriorityQueueImpl.java
index 249b22da..c88a411f 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/ObjectivePriorityQueueImpl.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/ObjectivePriorityQueueImpl.java
@@ -53,12 +53,7 @@ public class ObjectivePriorityQueueImpl implements ObjectivePriorityQueue {
 
         @Override
         public VersionWithObjectiveValue getBest() {
-                var best = priorityQueue.peek();
-                if (best != null) {
-                        return best;
-                } else {
-                        throw new IllegalArgumentException("The objective store is empty!");
-                }
+                return priorityQueue.peek();
         }
 
         @Override