diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index 9b5348a33..cbfc43dd9 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -13,6 +13,7 @@ depends: [
   "apron" {>= "v0.9.13"}
   "base"
   "containers"
+  "containers-data"
   "core" {>= "v0.14"}
   "crunch" {build}
   "ctypes"