update

potassco · Feb 23, 2024 · cf2bdb8 · cf2bdb8
1 parent 5b8ae7c
commit cf2bdb8
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 1 deletion.
diff --git a/src/parsing/asp/pest.rs b/src/parsing/asp/pest.rs
@@ -1090,6 +1090,18 @@ mod tests {
                     ],
                 },
             ),
+            (
+                "a.\n",
+                Program {
+                    rules: vec![Rule {
+                        head: Head::Basic(Atom {
+                            predicate_symbol: "a".into(),
+                            terms: vec![],
+                        }),
+                        body: Body { formulas: vec![] },
+                    }],
+                },
+            ),
             (
                 "% First comment. \na. %%%% Second comment %%%%\n%Last comment",
                 Program {

diff --git a/src/parsing/fol/grammar.pest b/src/parsing/fol/grammar.pest
@@ -7,7 +7,7 @@
 // can be transformed into TPTP formulas (Vampire-compatible input).
 
 WHITESPACE = _{ " " | NEWLINE }
-COMMENT = _{ ("%" ~ (!NEWLINE ~ ANY)* ~ NEWLINE) | ("%" ~ (!NEWLINE ~ ANY)* ~ EOI)}
+COMMENT = _{ "%" ~ (!NEWLINE ~ ANY)* ~ (NEWLINE | EOI) }
 
 keyword = _{ primitive | binary_connective | unary_connective | quantifier }