diff options
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.java | 4 |
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; |