From ea9fa7c95e70151af82d85b17656f7c8cb7532ba Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Tue, 3 Sep 2024 15:44:34 -0700
Subject: [PATCH] Upgrade to CBMC 6.2.0

---
 kani-dependencies | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/kani-dependencies b/kani-dependencies
index 421188a08762..9c548b1f8f4e 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,6 +1,6 @@
 CBMC_MAJOR="6"
-CBMC_MINOR="1"
-CBMC_VERSION="6.1.1"
+CBMC_MINOR="2"
+CBMC_VERSION="6.2.0"
 
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_MAJOR="3"