From 8faf73a84b51d94ee4d8cc49dbbf9ff82898f436 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 17 May 2024 18:40:14 +0200 Subject: refactor(language): merge Assertion and AssertionAction --- .../main/java/tools/refinery/language/semantics/ProblemTraceImpl.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subprojects/language-semantics/src/main') 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)); } -- cgit v1.2.3-70-g09d2