aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java')
-rw-r--r--subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java4
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java
index f686e980..aef0fd89 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/ProblemTraceImpl.java
@@ -79,7 +79,7 @@ class ProblemTraceImpl implements ProblemTrace {
79 try { 79 try {
80 return nodeTrace.getOrThrow(node); 80 return nodeTrace.getOrThrow(node);
81 } catch (IllegalStateException e) { 81 } catch (IllegalStateException e) {
82 var qualifiedName = semanticsUtils.getName(node); 82 var qualifiedName = semanticsUtils.getNameWithoutRootPrefix(node);
83 throw new TracedException(node, "No node ID for " + qualifiedName, e); 83 throw new TracedException(node, "No node ID for " + qualifiedName, e);
84 } 84 }
85 } 85 }
@@ -144,7 +144,7 @@ class ProblemTraceImpl implements ProblemTrace {
144 public PartialRelation getPartialRelation(Relation relation) { 144 public PartialRelation getPartialRelation(Relation relation) {
145 var partialRelation = mutableRelationTrace.get(relation); 145 var partialRelation = mutableRelationTrace.get(relation);
146 if (partialRelation == null) { 146 if (partialRelation == null) {
147 var qualifiedName = semanticsUtils.getName(relation); 147 var qualifiedName = semanticsUtils.getNameWithoutRootPrefix(relation);
148 throw new TracedException(relation, "No partial relation for " + qualifiedName); 148 throw new TracedException(relation, "No partial relation for " + qualifiedName);
149 } 149 }
150 return partialRelation; 150 return partialRelation;