Update trieste

microsoft · Apr 18, 2024 · 8bd9ed8 · 8bd9ed8
1 parent b276690
commit 8bd9ed8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 )