Fixed wrong update to bounds file

hernanponcedeleon · Oct 25, 2024 · c875e5c · c875e5c
1 parent 536873b
commit c875e5c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java b/dartagnan/src/main/java/com/dat3m/dartagnan/Dartagnan.java
@@ -441,7 +441,7 @@ private static void increaseBoundAndDump(List<Event> boundEvents, Configuration
                     csvPrinter.printRecord(entry);
                 } else {
                     final String[] content = entry.values();
-                    content[0] = String.valueOf(loopId2UpdatedBound.get(entryId));
+                    content[1] = String.valueOf(loopId2UpdatedBound.get(entryId));
                     csvPrinter.printRecord(Arrays.asList(content));
                 }
             }