From 285e57b61bfc5d9da327398e7ba928c65e1a87c0 Mon Sep 17 00:00:00 2001
From: Mario Carneiro <di.gama@gmail.com>
Date: Mon, 28 Oct 2024 06:51:09 +0100
Subject: [PATCH] dump formulas as s-exprs

---
 metamath-rs/src/grammar.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/metamath-rs/src/grammar.rs b/metamath-rs/src/grammar.rs
index 8d7f3a5..c941e46 100644
--- 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()
                 );
             }
         }