diff options
Diffstat (limited to 'subprojects/frontend')
-rw-r--r-- | subprojects/frontend/src/index.tsx | 2 | ||||
-rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index 78e469cd..152c0bf7 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -34,7 +34,7 @@ pred invalidTaxStatus(Person p) <-> | |||
34 | parent(p, q), | 34 | parent(p, q), |
35 | !taxStatus(q, retired). | 35 | !taxStatus(q, retired). |
36 | 36 | ||
37 | rule createChild(p, newPerson): | 37 | rule createChild(may Person p, must Person newPerson): |
38 | may children(p, newPerson), | 38 | may children(p, newPerson), |
39 | may !equals(newPerson, newPerson) | 39 | may !equals(newPerson, newPerson) |
40 | ==> new q <: newPerson, | 40 | ==> new q <: newPerson, |
diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar index f3794e27..ac0b0ea3 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -51,7 +51,7 @@ ReferenceDeclaration { | |||
51 | ";"? | 51 | ";"? |
52 | } | 52 | } |
53 | 53 | ||
54 | Parameter { RelationName? VariableName } | 54 | Parameter { Modality? RelationName? VariableName } |
55 | 55 | ||
56 | Conjunction { ("," | Literal)+ } | 56 | Conjunction { ("," | Literal)+ } |
57 | 57 | ||