From 2ac5ff089704a2248abe73d7882f8756e66fe3fb Mon Sep 17 00:00:00 2001
From: teddy <teddy@defi.sucks>
Date: Wed, 7 Aug 2024 18:59:47 -0300
Subject: [PATCH] chore: install crytic/properties

---
 .gitmodules                               | 3 +++
 packages/contracts-bedrock/lib/properties | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 packages/contracts-bedrock/lib/properties

diff --git a/.gitmodules b/.gitmodules
index f2b84783c409b..d840d81986c77 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -26,3 +26,6 @@
 [submodule "packages/contracts-bedrock/lib/automate"]
 	path = packages/contracts-bedrock/lib/automate
 	url = https://github.com/gelatodigital/automate
+[submodule "packages/contracts-bedrock/lib/properties"]
+	path = packages/contracts-bedrock/lib/properties
+	url = https://github.com/crytic/properties
diff --git a/packages/contracts-bedrock/lib/properties b/packages/contracts-bedrock/lib/properties
new file mode 160000
index 0000000000000..f1ff61b8e90ce
--- /dev/null
+++ b/packages/contracts-bedrock/lib/properties
@@ -0,0 +1 @@
+Subproject commit f1ff61b8e90ce0c9ab138dfe23e80a8afa7f5e37