scroll-tech · hero78119 · Oct 14, 2024 · Oct 4, 2024 · Oct 4, 2024 · Oct 4, 2024
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -9,7 +9,6 @@ members = [
     "multilinear_extensions",
     "simple-frontend",
     "singer",
-    "singer-pro",
     "singer-utils",
     "sumcheck",
     "transcript",

diff --git a/Makefile.toml b/Makefile.toml
@@ -23,8 +23,6 @@ args = [
     "--workspace",
     "--exclude",
     "ceno_rt",
-    "--exclude",
-    "singer-pro",
 ]
 
 [tasks.fmt-all-check]

diff --git a/singer-pro/Cargo.toml b/singer-pro/Cargo.toml
diff --git a/singer-pro/examples/simple.rs b/singer-pro/examples/simple.rs