diff --git a/CMakeLists.txt b/CMakeLists.txt
index d040abdfb..8eceb56b4 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -13,7 +13,7 @@ option(VERONA_GENERATE_LAUNCH_JSON "Generate a launch.json file for debugging in
 FetchContent_Declare(
   trieste
   GIT_REPOSITORY https://github.com/microsoft/trieste
-  GIT_TAG 97a2b37492b0ce4cf2ba5144395259b948fedb1f
+  GIT_TAG a31cb25e7ce752e67a53c07196437e97d80ce0ac
   GIT_SHALLOW FALSE
 )