Fix an incorrect term pattern in SyncWith (#706)

Co-authored-by: Dmitry Ivanov <[email protected]>
hernanponcedeleon · Jul 29, 2024 · eb15f40 · eb15f40
1 parent e87cb88
commit eb15f40
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) {