From dfe1e95fee1282a88c0c80df06d4342c1d478c39 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Date: Tue, 25 Jul 2023 10:25:34 -0700
Subject: [PATCH] Bump CBMC version (#2623)

---
 kani-dependencies | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/kani-dependencies b/kani-dependencies
index ec9b5f8c8919..e84748cef527 100644
--- a/kani-dependencies
+++ b/kani-dependencies
@@ -1,4 +1,4 @@
-CBMC_VERSION="5.88.0"
+CBMC_VERSION="5.88.1"
 # If you update this version number, remember to bump it in `src/setup.rs` too
 CBMC_VIEWER_VERSION="3.8"
 KISSAT_VERSION="3.0.0"