diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index bc6cbf9cc869bd1fa94a0adc23cb6a763c9274ae..f30f94d58276d42a165f45da6f29269d5f70d104 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -231,6 +231,7 @@ let example_msg =
      @@PTEST_ORACLE@@          # Basename of the current oracle file (macro only usable in FILTER directives).@  \
      @@PTEST_DEFAULT_OPTIONS@@ # The default option list: %s@  \
      @@PTEST_LIBS@@            # The current list of modules defined by the LIBS directive.@  \
+     @@PTEST_LIBRARY@@         # The current list of modules defined by the LIBRARY directive.@  \
      @@PTEST_DEPS@@            # The current list of dependencies defined by the DEPS directive.@  \
      @@PTEST_ENABLED_IF@@      # The current value of ENABLED_IF directive.@  \
      @@PTEST_MODULE@@          # The current list of modules defined by the MODULE directive.@  \