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.lock | 1 +
 1 file changed, 1 insertion(+)

(limited to 'rust/Cargo.lock')

diff --git a/rust/Cargo.lock b/rust/Cargo.lock
index 66cad99..46be018 100644
--- a/rust/Cargo.lock
+++ b/rust/Cargo.lock
@@ -217,6 +217,7 @@ name = "rust"
 version = "0.1.0"
 dependencies = [
  "proptest",
+ "rand",
 ]
 
 [[package]]
-- 
cgit v1.2.3