Merge pull request #1157 from edwintorok/bounds

goblint: fix lower bound on yaml
goblint · Sep 11, 2023 · e7aacc1 · e7aacc1
2 parents 1128aba + fd092e3
commit e7aacc1
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -44,7 +44,7 @@
     (fileutils (>= 0.6.4))
     cpu
     arg-complete
-    yaml
+    (yaml (>= 3.0.0))
     uuidm
     catapult
     catapult-file

diff --git a/goblint.opam b/goblint.opam
@@ -41,7 +41,7 @@ depends: [
   "fileutils" {>= "0.6.4"}
   "cpu"
   "arg-complete"
-  "yaml"
+  "yaml" {>= "3.0.0"}
   "uuidm"
   "catapult"
   "catapult-file"