From b1445fabcc315dcaf09e2ca9cf23d46d047605d7 Mon Sep 17 00:00:00 2001
From: Quentin Garchery <garchery.quentin@gmail.com>
Date: Tue, 2 Apr 2024 17:50:48 +0200
Subject: [PATCH] chore: add back halmos-cheatcodes with https

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

diff --git a/.gitmodules b/.gitmodules
index 888d42dcd..ba7c98e70 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "lib/forge-std"]
 	path = lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
+[submodule "lib/halmos-cheatcodes"]
+	path = lib/halmos-cheatcodes
+	url = https://github.com/a16z/halmos-cheatcodes.git
diff --git a/lib/halmos-cheatcodes b/lib/halmos-cheatcodes
new file mode 160000
index 000000000..c0d865508
--- /dev/null
+++ b/lib/halmos-cheatcodes
@@ -0,0 +1 @@
+Subproject commit c0d865508c0fee0a11b97732c5e90f9cad6b65a5