Fix dolmen version

TDacik · Dec 5, 2024 · 8368406 · 8368406
1 parent eb2eccb
commit 8368406
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/astral.opam b/astral.opam
@@ -20,7 +20,7 @@ depends: [
   "alcotest"
   "batteries"
   "z3"
-  "dolmen" {= "0.6"}
+  "dolmen" {= "0.10"}
   "ocamlgraph"
   "qcheck"
   "yojson"