change parsing prefix for whitespace expansion

potassco · Jan 31, 2025 · 3ffe441 · 3ffe441
1 parent 66849fc
commit 3ffe441
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/parsing/fol/grammar.pest b/src/parsing/fol/grammar.pest
@@ -104,7 +104,7 @@ formula_eoi = _{ formula ~ EOI }
     infix   = _{ binary_connective }
     primary = _{ "(" ~ formula ~ ")" | atomic_formula }
 
-theory = { (WHITESPACE | COMMENT)? ~ (formula ~ ".")* }
+theory = { &ANY? ~ (formula ~ ".")* }
 theory_eoi = _{ theory ~ EOI }
 
 role = { assumption | spec | lemma | definition | inductive_lemma }
@@ -124,7 +124,7 @@ direction_eoi = _{ direction ~ EOI }
 annotated_formula = { role ~ ("(" ~ direction ~ ")")? ~ ("[" ~ symbolic_constant ~ "]")? ~ ":" ~ formula }
 annotated_formula_eoi = _{ annotated_formula ~ EOI }
 
-specification = { (WHITESPACE | COMMENT)? ~ (annotated_formula ~ ".")* }
+specification = { &ANY? ~ (annotated_formula ~ ".")* }
 specification_eoi = _{ specification ~ EOI }
 
 user_guide_entry = { input_predicate | output_predicate | placeholder_declaration | annotated_formula }
@@ -133,5 +133,5 @@ user_guide_entry_eoi = _{ user_guide_entry ~ EOI }
     output_predicate        = { "output" ~ ":" ~ predicate}
     placeholder_declaration = { "input" ~ ":" ~ symbolic_constant ~ ("->" ~ sort)? }
 
-user_guide = { (WHITESPACE | COMMENT)? ~ (user_guide_entry ~ ".")* }
+user_guide = { &ANY? ~ (user_guide_entry ~ ".")* }
 user_guide_eoi = _{ user_guide ~ EOI }