diff --git a/src/domain/project/manifest.rs b/src/domain/project/manifest.rs
index 691a588..7587a8c 100644
--- a/src/domain/project/manifest.rs
+++ b/src/domain/project/manifest.rs
@@ -179,12 +179,6 @@ members = [
 exclude = [
 	".ink"
 ]
-
-[target.'cfg(not(verify))'.dependencies]
-proptest = { version = "0.10" }
-
-[target.'cfg(verify)'.dependencies]
-propverify = { path="/rvt/propverify" }
 "#;
 
     assert_eq!(expected_manifest, manifest::make_manifest("test", "/rvt"))