From 8bd9ed89b375660525cdb1fcd2e7b91c6c02f1bf Mon Sep 17 00:00:00 2001
From: Matthew Parkinson <mattpark@microsoft.com>
Date: Thu, 18 Apr 2024 19:31:57 +0100
Subject: [PATCH] Update trieste

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
 )