From 0e1be0f13296a0558c3af7f57f60e98d2680a650 Mon Sep 17 00:00:00 2001 From: Hernan Ponce de Leon Date: Sun, 15 Sep 2024 21:31:03 +0200 Subject: [PATCH] Minor improvement Signed-off-by: Hernan Ponce de Leon --- .../java/com/dat3m/dartagnan/wmm/RelationNameRepository.java | 2 +- 1 file changed, 1 insertion(+), 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 index 7b73e1b697..72b4f3e1e6 100644 --- 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";