From cbf442d8fd9f72c567ebf9f036a219a9ff100487 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
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

