From 0a5ceb138e8c4842113c15d9f98db07843b1cd5e Mon Sep 17 00:00:00 2001
From: oflatt <oflatt@gmail.com>
Date: Wed, 13 Nov 2024 11:47:46 -0800
Subject: [PATCH] use seq schedule both times

---
 dag_in_context/src/schedule.rs | 22 ++--------------------
 1 file changed, 2 insertions(+), 20 deletions(-)

diff --git a/dag_in_context/src/schedule.rs b/dag_in_context/src/schedule.rs
index 95d95e5d..4b7c483d 100644
--- a/dag_in_context/src/schedule.rs
+++ b/dag_in_context/src/schedule.rs
@@ -115,24 +115,6 @@ pub fn mk_sequential_schedule() -> Vec<String> {
 /// Parallel schedule must return a single string,
 /// a schedule that runs optimizations over the egraph.
 pub fn parallel_schedule() -> Vec<String> {
-    let helpers = helpers();
-
-    vec![format!(
-        "
-(run-schedule
-
-    (repeat 2
-        {helpers}
-        all-optimizations
-    )
-
-    (repeat 4
-        {helpers}
-        cheap-optimizations
-    )
-
-    {helpers}
-)
-"
-    )]
+    // TODO currently just the sequential schedule
+    mk_sequential_schedule()
 }