diff options
Diffstat (limited to 'subprojects/frontend/src/language/problem.grammar')
| -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 c2410913..f4cf1712 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
| @@ -37,7 +37,7 @@ statement { | |||
| 37 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } | 37 | PredicateBody { ("<->" sep<OrOp, Conjunction>)? "." } |
| 38 | } | | 38 | } | |
| 39 | FunctionDefinition { | 39 | FunctionDefinition { |
| 40 | PrimitiveType RelationName ParameterList<Parameter>? | 40 | kw<"fn"> PrimitiveType RelationName ParameterList<Parameter>? |
| 41 | FunctionBody { ("=" sep<OrOp, Case>)? "." } | 41 | FunctionBody { ("=" sep<OrOp, Case>)? "." } |
| 42 | } | | 42 | } | |
| 43 | //RuleDefinition { | 43 | //RuleDefinition { |