diff --git a/goblint.opam b/goblint.opam
index f4d1b81b1d..0f6c8258be 100644
--- a/goblint.opam
+++ b/goblint.opam
@@ -102,7 +102,7 @@ dev-repo: "git+https://github.com/goblint/analyzer.git"
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
   # published goblint-cil 2.0.6 is currently up-to-date, but pinned for reproducibility
-  [ "goblint-cil.2.0.6" "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a" ]
+  [ "goblint-cil.2.0.6" "git+https://github.com/goblint/cil.git#c0b10d1848223a67de45ef608f4e05c082977ac1" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
   [ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]
 ]
diff --git a/goblint.opam.locked b/goblint.opam.locked
index c19df9129a..097ea1b792 100644
--- a/goblint.opam.locked
+++ b/goblint.opam.locked
@@ -143,7 +143,7 @@ post-messages: [
 pin-depends: [
   [
     "goblint-cil.2.0.6"
-    "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a"
+    "git+https://github.com/goblint/cil.git#c0b10d1848223a67de45ef608f4e05c082977ac1"
   ]
   [
     "apron.v0.9.15"
diff --git a/goblint.opam.template b/goblint.opam.template
index 1ee8f07558..205af9efb5 100644
--- a/goblint.opam.template
+++ b/goblint.opam.template
@@ -3,7 +3,7 @@
 available: os-family != "bsd" & os-distribution != "alpine" & (arch != "arm64" | os = "macos")
 pin-depends: [
   # published goblint-cil 2.0.6 is currently up-to-date, but pinned for reproducibility
-  [ "goblint-cil.2.0.6" "git+https://github.com/goblint/cil.git#8385ab315bc7461f6801af57673c64731bfa036a" ]
+  [ "goblint-cil.2.0.6" "git+https://github.com/goblint/cil.git#c0b10d1848223a67de45ef608f4e05c082977ac1" ]
   # pinned for stability (https://github.com/goblint/analyzer/issues/1520), remove after new apron release
   [ "apron.v0.9.15" "git+https://github.com/antoinemine/apron.git#418a217c7a70dae3f422678f3aaba38ae374d91a" ]
 ]