Fix an incorrect term pattern in SyncWith

hernanponcedeleon · Jul 29, 2024 · d03f93b · d03f93b
1 parent e87cb88
commit d03f93b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/definition/SyncWith.java b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/definition/SyncWith.java
@@ -11,7 +11,7 @@
 public class SyncWith extends Definition {
 
     public SyncWith(Relation r) {
-        super(r, RelationNameRepository.SYNC_FENCE);
+        super(r, RelationNameRepository.SSW);
     }
     @Override
     public <T> T accept(Visitor<? extends T> v) {