From e5a042909a448a82e164aa1c89cc6faf0cbff357 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Fri, 2 Jul 2021 01:05:54 +0200 Subject: Change operator for predicate definition --- language-web/src/main/js/index.jsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'language-web') diff --git a/language-web/src/main/js/index.jsx b/language-web/src/main/js/index.jsx index 7b807c77..f6775760 100644 --- a/language-web/src/main/js/index.jsx +++ b/language-web/src/main/js/index.jsx @@ -25,7 +25,7 @@ enum TaxStatus { } % A child cannot have any dependents. -error invalidTaxStatus(Person p) :- +error invalidTaxStatus(Person p) <=> taxStatus(p, child), children(p, _q). Family('family'). -- cgit v1.2.3-70-g09d2