From 24cdd6c5018f32b781b0dce167aaa7c0c0568fc9 Mon Sep 17 00:00:00 2001
From: Ryan Tjoa <ryan.j.tjoa@gmail.com>
Date: Fri, 29 Sep 2023 13:22:35 -0700
Subject: [PATCH] cargo fmt

---
 src/lib.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/lib.rs b/src/lib.rs
index 60195414d..c9c59020d 100644
--- 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