From 24bc06c9d553a94306534c9d41cb632ebfd36aae Mon Sep 17 00:00:00 2001
From: Arnaud Bailly <arnaud.bailly@iohk.io>
Date: Tue, 24 Sep 2024 19:59:05 +0200
Subject: alpha-conversion when substituting variables under lambda

---
 rust/Cargo.toml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'rust/Cargo.toml')

diff --git a/rust/Cargo.toml b/rust/Cargo.toml
index 7aa1a6f..bb52045 100644
--- a/rust/Cargo.toml
+++ b/rust/Cargo.toml
@@ -4,6 +4,7 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
+rand = "0.8.5"
 
 [dev-dependencies]
 proptest = "1.0.0"
-- 
cgit v1.2.3