Fix goblint-cil typo in opam lock file

goblint · Nov 29, 2024 · 68cd952 · 68cd952
1 parent 77acd91
commit 68cd952
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/goblint.opam.locked b/goblint.opam.locked
@@ -139,7 +139,7 @@ post-messages: [
 ]
 pin-depends: [
   [
-    "oblint-cil.2.0.5"
+    "goblint-cil.2.0.5"
     "git+https://github.com/goblint/cil.git#c79208b21ea61d7b72eae29a18c1ddeda4795dfd"
   ]
   [