From 5e21737b0a8a903d2e37e821a96a739eb7429fcd Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 29 Aug 2023 12:05:08 +0200 Subject: refactor: rename invalidNumberOfContainers Use a simplified name invalidContainer, since this pattern may match even if there is a sufficient number of ERROR containers. --- .../language/src/main/resources/tools/refinery/language/builtin.problem | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subprojects/language/src/main/resources') diff --git a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem index 8570e363..022c3167 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem @@ -13,4 +13,4 @@ abstract class contained extends node. pred contains(container, contained contained). -error invalidNumberOfContainers(contained contained). +error invalidContainer(contained contained). -- cgit v1.2.3-54-g00ecf