diff --git a/vendor/cvc5 b/vendor/cvc5
index 27e8c50..f5b7c88 160000
--- a/vendor/cvc5
+++ b/vendor/cvc5
@@ -1 +1 @@
-Subproject commit 27e8c50df1d91cbfc8801977b45df7fc57f58775
+Subproject commit f5b7c88ecd11d1e405f472f79976c0611c1d825d