From f05474a694a3feafb90f2dba8b83bed96eb6cadf Mon Sep 17 00:00:00 2001
From: Christoph Gerum <christoph.gerum@uni-tuebingen.de>
Date: Thu, 23 Nov 2023 10:48:59 +0100
Subject: [PATCH] Update hannah-tvm to current master

---
 external/hannah-tvm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/external/hannah-tvm b/external/hannah-tvm
index bf5570ab..0ede7e36 160000
--- a/external/hannah-tvm
+++ b/external/hannah-tvm
@@ -1 +1 @@
-Subproject commit bf5570abe5ba0f2886477fb6f787722215137452
+Subproject commit 0ede7e36f0cb295e322031dd6e9adad860acca7f