diff --git a/opam b/opam
index dedce1696..8de07e457 100644
--- a/opam
+++ b/opam
@@ -28,7 +28,7 @@ ocaml-version: [ >= "4.04.2" ]
 depends: [
   "ANSITerminal" {>="0.7"}
   "apron"
-  "atdgen" {>="1.6.0"}
+  "atdgen" {>="1.6.0" & <"1.13.0"}
   "base64"
   "cmdliner" {>="1.0.0"}
   "core"