diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-08-10 18:33:20 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-08-11 19:56:54 +0200 |
| commit | 66a7758d4838a76a7979420f1674f8fbd664e3f2 (patch) | |
| tree | 9d2c2dfb227a894016fb91754f5776896f2a1306 /subprojects/frontend/src/language | |
| parent | chore(deps): bump frontend dependencies (diff) | |
| download | refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.gz refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.tar.zst refinery-66a7758d4838a76a7979420f1674f8fbd664e3f2.zip | |
feat(language): modal parameter types
Diffstat (limited to 'subprojects/frontend/src/language')
| -rw-r--r-- | subprojects/frontend/src/language/problem.grammar | 2 |
1 files changed, 1 insertions, 1 deletions
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 | ||