From e4cdce341ebb46fcb412690818f5ecb55de27da7 Mon Sep 17 00:00:00 2001
From: Riccardo Casatta <riccardo@casatta.it>
Date: Tue, 1 Oct 2024 14:50:07 +0200
Subject: [PATCH] use simplicity-lang 0.3.0 with patch

---
 Cargo.toml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Cargo.toml b/Cargo.toml
index 49ff7afa..f435f2b3 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -64,3 +64,7 @@ required-features = ["base64"]
 
 [workspace]
 members = ["bitcoind-tests", "fuzz"]
+
+[patch.crates-io.simplicity-lang]
+git = "https://github.com/BlockstreamResearch/rust-simplicity/"
+rev = "9eed0133eb08f1859be45a3d223b6f9a9571e943"