From 29099ba579003ea52a720276cf350022e0347a93 Mon Sep 17 00:00:00 2001
From: Linard Arquint <linard.arquint@inf.ethz.ch>
Date: Tue, 20 Feb 2024 11:32:40 +0100
Subject: [PATCH] updates to latest Gobra release 'v24.02'

---
 server/gobra | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/server/gobra b/server/gobra
index a205f7b5..fb7746d2 160000
--- a/server/gobra
+++ b/server/gobra
@@ -1 +1 @@
-Subproject commit a205f7b5a8422696a792b7f1504f1eb33668905a
+Subproject commit fb7746d2ec5237e867e991b80829a1750f388c8b