Typo

hernanponcedeleon · Aug 16, 2024 · 437fe09 · 437fe09
1 parent 867f6cd
commit 437fe09
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/analysis/NativeRelationAnalysis.java
@@ -1625,7 +1625,7 @@ private EventGraph computeTransitiveClosure(EventGraph oldOuter, EventGraph inne
             EventGraph next;
             EventGraph outer = new EventGraph(oldOuter);
             outer.addAll(inner);
-            for (EventGraph current = EventGraph.difference(inner, outer); !current.isEmpty(); current = next) {
+            for (EventGraph current = EventGraph.difference(inner, oldOuter); !current.isEmpty(); current = next) {
                 next = new EventGraph();
                 computeComposition(next, current, outer, isMay);
                 computeComposition(next, outer, current, isMay);