Update goblint-cil to 2.0.5 in lock file

goblint · Nov 28, 2024 · 8e1b755 · 8e1b755
1 parent 76e42c3
commit 8e1b755
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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"}