From 679411cab6b04855dbc1bb64921d9590cf39abe3 Mon Sep 17 00:00:00 2001
From: DecwLK <carlwilland@gmail.com>
Date: Mon, 18 Mar 2024 12:02:53 +0100
Subject: [PATCH] reverse priorities

---
 src/main/java/org/gecko/io/AutomatonFileSerializer.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/main/java/org/gecko/io/AutomatonFileSerializer.java b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
index c44b2eb3..aba050fe 100644
--- a/src/main/java/org/gecko/io/AutomatonFileSerializer.java
+++ b/src/main/java/org/gecko/io/AutomatonFileSerializer.java
@@ -5,7 +5,6 @@
 import java.nio.file.Files;
 import java.util.ArrayList;
 import java.util.Collection;
-import java.util.Collections;
 import java.util.Comparator;
 import java.util.HashMap;
 import java.util.List;
@@ -117,7 +116,6 @@ private String serializeStateContracts(State state, Automaton automaton) {
         //Building the conditions for the priorities
         List<List<Edge>> groupedEdges =
             new ArrayList<>(edges.stream().collect(Collectors.groupingBy(Edge::getPriority)).values());
-        Collections.reverse(groupedEdges); //This just makes this easier to think about
         List<Condition> preConditionsByPrio = new ArrayList<>();
         for (List<Edge> edgeGroup : groupedEdges) {
             //OrElseThrow because validity needs to be ensured by model