diff --git a/gobview.opam.locked b/gobview.opam.locked
index ce3e9ce..23cc012 100644
--- a/gobview.opam.locked
+++ b/gobview.opam.locked
@@ -58,7 +58,7 @@ depends: [
   "gen" {= "1.1"}
   "gen_js_api" {= "1.1.2"}
   "gmap" {= "0.3.0"}
-  "goblint-cil" {= "2.0.4"}
+  "goblint-cil" {= "2.0.5"}
   "http" {= "6.0.0~beta2"}
   "integers_stubs_js" {= "1.0"}
   "ipaddr" {= "5.6.0"}