cargo fmt

egraphs-good · Sep 29, 2023 · 24cdd6c · 24cdd6c
1 parent f4bd0fb
commit 24cdd6c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -260,7 +260,10 @@ impl Optimizer {
 
     pub fn make_optimizer_for(&mut self, program: &str) -> String {
         //let schedule = "(run 3)";
-        let schedule = format!("(run-schedule (repeat {} cfold (saturate subst)))", self.num_iters);
+        let schedule = format!(
+            "(run-schedule (repeat {} cfold (saturate subst)))",
+            self.num_iters
+        );
         format!(
             "
         (datatype Type