dump formulas in source order

metamath · Oct 28, 2024 · 54784d3 · 54784d3
1 parent ed0e85c
commit 54784d3
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/metamath-rs/src/grammar.rs b/metamath-rs/src/grammar.rs
@@ -1735,9 +1735,14 @@ impl StmtParse {
         println!("Formula Dump:");
         let sset = db.parse_result();
         let nset = db.name_result();
-        for sps in self.segments.values() {
-            for (&sa, formula) in &sps.formulas {
-                let sref = sset.statement(sa);
+        for seg in sset.segments(..) {
+            let Some(sps) = self.segments.get(&seg.id) else {
+                continue;
+            };
+            for sref in seg.range(..) {
+                let Some(formula) = sps.formulas.get(&sref.address()) else {
+                    continue;
+                };
                 println!(
                     "{}: {}",
                     as_str(nset.statement_name(&sref)),