From dcbfeece5e559b60a615f0aa9b933b202d34bf8b Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 25 Oct 2021 00:29:37 +0200 Subject: feat(web): add xtext websocket client --- 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 9316db4d..1b24eadb 100644 --- a/language-web/src/main/js/index.tsx +++ b/language-web/src/main/js/index.tsx @@ -26,7 +26,7 @@ enum TaxStatus { % A child cannot have any dependents. error invalidTaxStatus(Person p) <-> taxStatus(p, child), - children(p, _q), + children(p, _q) ; taxStatus(p, retired), parent(p, q), !taxStatus(q, retired). -- cgit v1.2.3-54-g00ecf