diff options
author | Kristóf Marussy <kristof@marussy.com> | 2021-10-25 00:29:37 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:11 +0100 |
commit | dcbfeece5e559b60a615f0aa9b933b202d34bf8b (patch) | |
tree | afdacff7492284f5f8cc147c4b84e4ba5db259b3 /language-web/src/main/js/index.tsx | |
parent | test(web): more websocket integration tests (diff) | |
download | refinery-dcbfeece5e559b60a615f0aa9b933b202d34bf8b.tar.gz refinery-dcbfeece5e559b60a615f0aa9b933b202d34bf8b.tar.zst refinery-dcbfeece5e559b60a615f0aa9b933b202d34bf8b.zip |
feat(web): add xtext websocket client
Diffstat (limited to 'language-web/src/main/js/index.tsx')
-rw-r--r-- | language-web/src/main/js/index.tsx | 2 |
1 files changed, 1 insertions, 1 deletions
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 { | |||
26 | % A child cannot have any dependents. | 26 | % A child cannot have any dependents. |
27 | error invalidTaxStatus(Person p) <-> | 27 | error invalidTaxStatus(Person p) <-> |
28 | taxStatus(p, child), | 28 | taxStatus(p, child), |
29 | children(p, _q), | 29 | children(p, _q) |
30 | ; taxStatus(p, retired), | 30 | ; taxStatus(p, retired), |
31 | parent(p, q), | 31 | parent(p, q), |
32 | !taxStatus(q, retired). | 32 | !taxStatus(q, retired). |