diff --git a/Cargo.toml b/Cargo.toml
index d820ee3..1c3c5dc 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [workspace]
 
-members = [ "dpc", "algebra", "snark", "snark-gadgets", "bench-utils" ]
+members = [ "dpc", "algebra", "r1cs-core", "r1cs-lib", "gm17", "snark-gadgets", "bench-utils" ]
 
 [profile.release]
 opt-level = 3