From 176ccb2b54b7ebe98216674b2eda7d2e7f4ecfee Mon Sep 17 00:00:00 2001
From: Kareem Khazem <karkhaz@amazon.com>
Date: Mon, 6 May 2024 19:14:51 -0700
Subject: [PATCH] Update Cargo.lock

---
 Cargo.lock | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index b66cdbe5ac37..f3df3618f7b8 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -92,7 +92,7 @@ checksum = "cf4b9d6a944f767f8e5e0db018570623c85f3d925ac718db4e06d0187adb21c1"
 
 [[package]]
 name = "build-kani"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -228,7 +228,7 @@ dependencies = [
 
 [[package]]
 name = "cprover_bindings"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "lazy_static",
  "linear-map",
@@ -411,14 +411,14 @@ checksum = "49f1f14873335454500d59611f1cf4a4b0f786f9ac11f4312a78e4cf2566695b"
 
 [[package]]
 name = "kani"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "kani_macros",
 ]
 
 [[package]]
 name = "kani-compiler"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "clap",
  "cprover_bindings",
@@ -439,7 +439,7 @@ dependencies = [
 
 [[package]]
 name = "kani-driver"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "anyhow",
  "cargo_metadata",
@@ -467,7 +467,7 @@ dependencies = [
 
 [[package]]
 name = "kani-verifier"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "anyhow",
  "home",
@@ -476,7 +476,7 @@ dependencies = [
 
 [[package]]
 name = "kani_macros"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "proc-macro-error",
  "proc-macro2",
@@ -486,7 +486,7 @@ dependencies = [
 
 [[package]]
 name = "kani_metadata"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "clap",
  "cprover_bindings",
@@ -992,7 +992,7 @@ checksum = "3c5e1a9a646d36c3599cd173a41282daf47c44583ad367b8e6837255952e5c67"
 
 [[package]]
 name = "std"
-version = "0.50.0"
+version = "0.51.0"
 dependencies = [
  "kani",
 ]