make parse_statement public

metamath · Feb 20, 2023 · 0a5a000 · 0a5a000
1 parent 4594695
commit 0a5a000
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/grammar.rs b/src/grammar.rs
@@ -1430,7 +1430,8 @@ impl Grammar {
         )
     }
 
-    fn parse_statement(
+    /// Parse a statement into a formula. Returns None if the statement is a syntactic axiom.
+    pub fn parse_statement(
         &self,
         sref: &StatementRef<'_>,
         nset: &Nameset,