1 files changed, 1 insertions, 1 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 aef0fd89..3a979bf0 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
@@ -152,7 +152,7 @@ class ProblemTraceImpl implements ProblemTrace {
 
         @Override
         public PartialRelation getPartialRelation(QualifiedName qualifiedName) {
-                var relationScope = scopeProvider.getScope(problem, ProblemPackage.Literals.ASSERTION__RELATION);
+                var relationScope = scopeProvider.getScope(problem, ProblemPackage.Literals.ABSTRACT_ASSERTION__RELATION);
                 return getPartialRelation(getElement(relationScope, qualifiedName, Relation.class));
         }