diff options
Diffstat (limited to 'subprojects/frontend')
-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 1e1ef70f..d630b9c4 100644 --- a/subprojects/frontend/src/language/problem.grammar +++ b/subprojects/frontend/src/language/problem.grammar | |||
@@ -153,7 +153,7 @@ sep1<separator, content> { content (separator content)* } | |||
153 | "\"" (![\\"\n] | "\\" (![\n] | "\n"))* "\"" | 153 | "\"" (![\\"\n] | "\\" (![\n] | "\n"))* "\"" |
154 | } | 154 | } |
155 | 155 | ||
156 | ComparisonOp { ">" | ">=" | "<" | "<=" | "==" } | 156 | ComparisonOp { ">" | ">=" | "<" | "<=" | "==" | "!=" } |
157 | 157 | ||
158 | NotOp { "!" } | 158 | NotOp { "!" } |
159 | 159 | ||