From d01f7dc190875a259d9e275d881cc90b52e523d0 Mon Sep 17 00:00:00 2001
From: Tianrui Zheng <tianrui.zheng@huawei.com>
Date: Thu, 5 Dec 2024 09:49:24 +0100
Subject: [PATCH] Make getRelationWithName() more general

Signed-off-by: Tianrui Zheng <tianrui.zheng@huawei.com>
---
 .../dartagnan/verification/model/ExecutionModelManager.java    | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
index b064fd3fb3..8c0920c097 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/verification/model/ExecutionModelManager.java
@@ -204,7 +204,8 @@ private Relation getRelationWithName(String name) {
         // First check if the original definition is asked.
         if (name.endsWith("#0")) {
             String originalName = name.substring(0, name.lastIndexOf("#"));
-            return wmm.getRelation(originalName);
+            Relation r = wmm.getRelation(originalName);
+            if (r!=null) { return r; }
         }
 
         int maxId = -1;