From f0ad5f232acf41c421ec164fb3cf097ef93214ff Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Wed, 10 Aug 2022 18:07:00 +0200
Subject: refactor(language): simplify count notation

Also change refinement operator based on feedback from colleagues
---
 subprojects/frontend/src/index.tsx | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'subprojects/frontend/src/index.tsx')

diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx
index 0616007a..78e469cd 100644
--- a/subprojects/frontend/src/index.tsx
+++ b/subprojects/frontend/src/index.tsx
@@ -37,7 +37,7 @@ pred invalidTaxStatus(Person p) <->
 rule createChild(p, newPerson):
     may children(p, newPerson),
     may !equals(newPerson, newPerson)
-==> new q: newPerson,
+==> new q <: newPerson,
     children(p, q),
     taxStatus(q, child).
 
-- 
cgit v1.2.3-54-g00ecf

