From 0173a4e5deb5dbe71c91a68c02ef88e3de778068 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Mon, 28 Nov 2022 00:20:44 +0100
Subject: fix(frontend): content assist error recovery

---
 subprojects/frontend/src/language/problem.grammar | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'subprojects/frontend/src/language/problem.grammar')

diff --git a/subprojects/frontend/src/language/problem.grammar b/subprojects/frontend/src/language/problem.grammar
index f4cf1712..704badab 100644
--- a/subprojects/frontend/src/language/problem.grammar
+++ b/subprojects/frontend/src/language/problem.grammar
@@ -16,6 +16,11 @@
 @top Problem { statement* }
 
 statement {
+  Assertion {
+    kw<"default">? (NotOp | UnknownOp)? RelationName
+    ParameterList<AssertionArgument>
+    (":" Expr)? "."
+  } |
   ProblemDeclaration {
     kw<"problem"> QualifiedName "."
   } |
@@ -45,11 +50,6 @@ statement {
   //  RuleName ParameterList<Parameter>?
   //  RuleBody { ":" sep<OrOp, Conjunction> "==>" sep<OrOp, Consequent> "." }
   //} |
-  Assertion {
-    kw<"default">? (NotOp | UnknownOp)? RelationName
-    ParameterList<AssertionArgument>
-    (":" Expr)? "."
-  } |
   IndividualDeclaration {
     kw<"indiv"> sep<",", IndividualNodeName> "."
   } |
-- 
cgit v1.2.3-70-g09d2