call grammar_pass before export_grammar_dot (#142)

metamath · Sep 30, 2023 · 5ccf6b8 · 5ccf6b8
1 parent 6364fb8
commit 5ccf6b8
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/main.rs b/src/main.rs
@@ -226,6 +226,7 @@ fn main() {
 
         #[cfg(feature = "dot")]
         if matches.is_present("export_grammar_dot") {
+            db.grammar_pass();
             db.export_grammar_dot();
         }