From 40303d5e1dc3467609ef383c4c989fe821672cd3 Mon Sep 17 00:00:00 2001
From: Schlagonia <schlagonia@gmail.com>
Date: Wed, 31 Jan 2024 17:16:44 -0700
Subject: [PATCH] forge install: properties

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

diff --git a/.gitmodules b/.gitmodules
index caa9dd2..2f12df4 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -12,3 +12,6 @@
 	path = lib/erc4626-tests
 	url = https://github.com/a16z/erc4626-tests
 	branch = main
+[submodule "lib/properties"]
+	path = lib/properties
+	url = https://github.com/crytic/properties
diff --git a/lib/properties b/lib/properties
new file mode 160000
index 0000000..bb1b785
--- /dev/null
+++ b/lib/properties
@@ -0,0 +1 @@
+Subproject commit bb1b78542b3f38e4ae56cf87389cd3ea94387f48