diff --git a/dune-project b/dune-project index 6026523..c3a7ce5 100644 --- a/dune-project +++ b/dune-project @@ -30,11 +30,11 @@ (depends (ocaml (>= 4.13)) (lintcstubs-gen (= :version)) - (goblint (>= 2.1.0)) + (goblint (and (>= 2.1.0) (< 2.2))) goblint-cil dune-compiledb fpath (fmt (>= 0.9.0)) (sexplib (>= v0.15.0)) ) -) \ No newline at end of file +) diff --git a/lintcstubs.opam b/lintcstubs.opam index 1efecbb..13f3772 100644 --- a/lintcstubs.opam +++ b/lintcstubs.opam @@ -12,7 +12,7 @@ depends: [ "dune" {>= "3.0"} "ocaml" {>= "4.13"} "lintcstubs-gen" {= version} - "goblint" {>= "2.1.0"} + "goblint" {>= "2.1.0" & < "2.2"} "goblint-cil" "dune-compiledb" "fpath"