Minor improvement

Signed-off-by: Hernan Ponce de Leon <[email protected]>
hernanponcedeleon · Sep 15, 2024 · 0e1be0f · 0e1be0f
1 parent 1027e7f
commit 0e1be0f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/RelationNameRepository.java b/dartagnan/src/main/java/com/dat3m/dartagnan/wmm/RelationNameRepository.java
@@ -30,7 +30,7 @@ public class RelationNameRepository {
     public static final String SYNCBAR = "syncbar";
     public static final String VLOC = "vloc";
     // private relations, not to be exposed in cat
-    public static final String IDD = "idd";
+    public static final String IDD = "__idd";
     public static final String ADDRDIRECT = "__addrDirect";
     public static final String CTRLDIRECT = "__ctrlDirect";
     public static final String IDDTRANS = "__iddTrans";