Remove targets referring to rust verification tools

LedgerProject · Nov 16, 2021 · 732c0ae · 732c0ae
1 parent c19b1ce
commit 732c0ae
Showing 1 changed file with 0 additions and 6 deletions.
diff --git 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"))