From 383137c190cab040d2609f8295ef822c3917b88d Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 19 Nov 2022 14:00:12 +0100 Subject: feat(language): numeric expressions --- .../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 2f7c667a..38e77237 100644 --- a/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem +++ b/subprojects/language/src/main/resources/tools/refinery/language/builtin.problem @@ -30,7 +30,7 @@ pred root(node node). % !contains(node, _), !root(node). % % error tooManyContainers(contained node) <-> -% count contains(_, node) > 1 +% #contains(_, node) > 1 % ; % contains(_, node), root(node) % ; -- cgit v1.2.3-54-g00ecf