diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index 1a4c248823c94227688f5771d0f82b965000d51c..16b8d23e2c1c6e18b19affce2a27d05f1bc3f5c3 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -1958,6 +1958,7 @@ let warn_if_not_enabled =
       Format.fprintf fmt
         "(rule ; Warns when some test conditions are disabled\n  \
          (alias disabled_%s)\n  \
+         (deps (universe))\n  \
          (enabled_if (or false %a))\n  \
          (action (progn (echo \"WARNING: Enabling conditions of some tests are false for @@%s/%s\\n\")\n  \
          %a))\n\