dump formulas as s-exprs

metamath · Oct 28, 2024 · 285e57b · 285e57b
1 parent ed0e85c
commit 285e57b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/metamath-rs/src/grammar.rs b/metamath-rs/src/grammar.rs
@@ -1741,7 +1741,7 @@ impl StmtParse {
                 println!(
                     "{}: {}",
                     as_str(nset.statement_name(&sref)),
-                    formula.as_ref(db)
+                    formula.as_ref(db).as_sexpr()
                 );
             }
         }