From eb15f40ac6697c5579229fc2862fd2584d5fea17 Mon Sep 17 00:00:00 2001
From: Dmitry Ivanov <32366373+DIvanov503@users.noreply.github.com>
Date: Mon, 29 Jul 2024 15:39:25 +0200
Subject: [PATCH] Fix an incorrect term pattern in SyncWith (#706)

Co-authored-by: Dmitry Ivanov <dmitry.ivanov1@huawei.com>
---
 .../main/java/com/dat3m/dartagnan/wmm/definition/SyncWith.java  | 2 +-
 1 file changed, 1 insertion(+), 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
index b081ecf06f..6978d78e16 100644
--- 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) {