diff --git a/Cargo.toml b/Cargo.toml
index b2592dc..a61769a 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -26,5 +26,5 @@ dump = [ "sigma-compiler-derive/dump" ]
 [patch.crates-io]
 sigma-compiler-derive = { path = "sigma-compiler-derive" }
 sigma-compiler-core = { path = "sigma-compiler-core" }
-# sigma-proofs = { path = "../sigma-proofs" }
-# spongefish = { path = "../spongefish/spongefish" }
+sigma-proofs = { path = "../sigma-proofs" }
+spongefish = { path = "../spongefish/spongefish" }