Merge pull request #1749 from goblint/gobview-ocaml5

sim642 · web-flow · commit 2417ea4701a8 · 2025-05-22T10:06:38.000+03:00
Upgrade GobView to OCaml 5
diff --git 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
@@ -1 +1 @@
-Subproject commit 276f66da5502c5097047b73636807583269b4d51
+Subproject commit b9e38d0f1810348f9b9021615f15038e7b95567b
