Minor

src/ast/desugar.rs

@@ -99,10 +99,7 @@ pub(crate) fn desugar_command(
         Command::Include(span, file) => {
             let s = std::fs::read_to_string(&file)
                 .unwrap_or_else(|_| panic!("{span} Failed to read file {file}"));
-            return desugar_program(
-                parse_program(Some(file), &s)?,
-                symbol_gen
-            );
+            return desugar_program(parse_program(Some(file), &s)?, symbol_gen);
         }
         Command::Rule {
             ruleset,
@@ -328,7 +325,7 @@ fn desugar_simplify(
                 variants: 0,
                 expr: Expr::Var(span.clone(), lhs),
             },
-            symbol_gen
+            symbol_gen,
         )
         .unwrap(),
     );

src/ast/remove_globals.rs

@@ -196,13 +196,13 @@ impl<'a> GlobalRemover<'a> {
                     ruleset,
                     rule: new_rule,
                 }]
-            },
+            }
             //Handle the corner case where a global command is wrap in (fail )
             GenericNCommand::Fail(span, cmd) => {
                 let mut removed = self.remove_globals_cmd(*cmd);
                 let last = removed.pop().unwrap();
                 let boxed_last = Box::new(last);
-                let new_command = GenericNCommand::Fail (span, boxed_last);
+                let new_command = GenericNCommand::Fail(span, boxed_last);
                 removed.push(new_command);
                 removed
             }

src/lib.rs

@@ -1406,8 +1406,7 @@ impl EGraph {
     }
 
     fn process_command(&mut self, command: Command) -> Result<Vec<ResolvedNCommand>, Error> {
-        let program =
-            desugar::desugar_program(vec![command], &mut self.symbol_gen)?;
+        let program = desugar::desugar_program(vec![command], &mut self.symbol_gen)?;
 
         let program = self
             .type_info

src/typechecking.rs

@@ -376,7 +376,7 @@ impl TypeInfo {
                 GenericAction::Set(_, _, _, Expr::Call(_, symbol, _)) => {
                     return Err(TypeError::LookupInRuleDisallowed(*symbol, span.clone()));
                 }
-                _ => ()
+                _ => (),
             }
         }