give up for now

egraphs-good · Nov 8, 2024 · 5bc709b · 5bc709b
1 parent 1c58fd7
commit 5bc709b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/dag_in_context/src/schedule.rs b/dag_in_context/src/schedule.rs
@@ -120,7 +120,7 @@ pub fn parallel_schedule() -> Vec<String> {
         "
 (run-schedule
 
-    (repeat 3
+    (repeat 2
         {helpers}
         all-optimizations
     )