From 485736a74889ff959342ea932f89e8b43bca8b42 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Wed, 15 Apr 2026 15:24:05 +0000
Subject: [PATCH] Bump rand from 0.8.5 to 0.9.4

Bumps [rand](https://github.com/rust-random/rand) from 0.8.5 to 0.9.4.
- [Release notes](https://github.com/rust-random/rand/releases)
- [Changelog](https://github.com/rust-random/rand/blob/0.9.4/CHANGELOG.md)
- [Commits](https://github.com/rust-random/rand/compare/0.8.5...0.9.4)

---
updated-dependencies:
- dependency-name: rand
  dependency-version: 0.9.4
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 Cargo.lock       | 2 +-
 proof/Cargo.toml | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index 2a36ad8..7cbbe59 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -2173,7 +2173,7 @@ dependencies = [
  "futures",
  "futures-util",
  "prost-types",
- "rand 0.8.5",
+ "rand 0.9.4",
  "reqwest",
  "serde",
  "serde_json",
diff --git a/proof/Cargo.toml b/proof/Cargo.toml
index fa34fc3..ad4453c 100644
--- a/proof/Cargo.toml
+++ b/proof/Cargo.toml
@@ -29,5 +29,5 @@ path = "src/bin/lean_compiler.rs"
 
 [dev-dependencies]
 tokio = { version = "1", features = ["full"] }
-rand = "0.8"
+rand = "0.9"
 futures = "0.3"