aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/frontend/src')
-rw-r--r--subprojects/frontend/src/language/problem.grammar2
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