diff --git a/astral.opam b/astral.opam
index f5fecc3..fa11efa 100644
--- a/astral.opam
+++ b/astral.opam
@@ -20,7 +20,7 @@ depends: [
   "alcotest"
   "batteries"
   "z3"
-  "dolmen" {= "0.6"}
+  "dolmen" {= "0.10"}
   "ocamlgraph"
   "qcheck"
   "yojson"