Skip to content

Commit 7f6d650

Browse files
committed
Fix goblint-cil version in opam lock file
1 parent 3230f44 commit 7f6d650

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

goblint.opam.locked

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ depends: [
6464
"fileutils" {= "0.6.4"}
6565
"fmt" {= "0.9.0"}
6666
"fpath" {= "0.7.3"}
67-
"goblint-cil" {= "2.0.5"}
67+
"goblint-cil" {= "2.0.6"}
6868
"hex" {= "1.5.0"}
6969
"integers" {= "0.7.0"}
7070
"json-data-encoding" {= "1.0.1"}

0 commit comments

Comments
 (0)