diff --git a/goblint.opam.locked b/goblint.opam.locked
index d3ed6ccfbe..91fcf0f0a9 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -105,6 +105,7 @@ depends: [
   "stdlib-shims" {= "0.3.0"}
   "stdune" {= "3.16.0"}
   "stringext" {= "1.6.0"}
+  "thread-table" {= "1.0.0"}
   "topkg" {= "1.0.7"}
   "tyxml" {= "4.6.0" & with-doc}
   "uri" {= "4.4.0"}
diff --git a/gobview b/gobview
index 276f66da55..b9e38d0f18 160000
--- a/gobview
+++ b/gobview
@@ -1 +1 @@
-Subproject commit 276f66da5502c5097047b73636807583269b4d51
+Subproject commit b9e38d0f1810348f9b9021615f15038e7b95567b