From cbf442d8fd9f72c567ebf9f036a219a9ff100487 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Sat, 30 Oct 2021 20:14:50 +0200 Subject: feat(web): semantic highlighting --- language-web/src/main/js/index.tsx | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'language-web/src/main/js/index.tsx') diff --git a/language-web/src/main/js/index.tsx b/language-web/src/main/js/index.tsx index 1b24eadb..13a62af0 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx @@ -24,7 +24,7 @@ enum TaxStatus { } % A child cannot have any dependents. -error invalidTaxStatus(Person p) <-> +pred invalidTaxStatus(Person p) <-> taxStatus(p, child), children(p, _q) ; taxStatus(p, retired), -- cgit v1.2.3-70-g09d2