From 732c0ae664e154454e3b0cf42d200bf7ca95d15f Mon Sep 17 00:00:00 2001
From: Thierry Marianne <thierry@marianne.io>
Date: Tue, 16 Nov 2021 15:39:53 +0400
Subject: [PATCH] Remove targets referring to rust verification tools

---
 src/domain/project/manifest.rs | 6 ------
 1 file changed, 6 deletions(-)

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"))