diff --git a/dependencies.sh b/dependencies.sh
index 9ecc2740..4d73e8d5 100644
--- a/dependencies.sh
+++ b/dependencies.sh
@@ -26,5 +26,5 @@ export YICES2_COMMIT_HASH="5326f0d645df6e38ae6e7d944381d01ba7d805ab"
 export BITWUZLA_COMMIT_HASH="b655bc0cde570258367bf8f09a113bc7b95e46e9"
 export RACKET_FMT_COMMIT_HASH="7d0a3dfff3a6cacfb59972a56d476556f89a0b1b"
 export YOSYS_COMMIT_HASH="70d35314dbd7521870047ed607897f22dc48cbc3"
-export CVC5_COMMIT_HASH="ebfdf84d5698eeb83e0fa4e45101fe4a8f4543eb"
+export CVC5_COMMIT_HASH="1d05a49387c041dba17f85f3c4e738b4b388ace2"
 export VERILATOR_COMMIT_HASH="881c6ee6557fbde017466553b2f0918250e9c4bd"