diff --git a/stdlib/tools/gen_all.ml b/stdlib/tools/gen_all.ml
index bf070d95a955..8a86488d2b34 100644
--- a/stdlib/tools/gen_all.ml
+++ b/stdlib/tools/gen_all.ml
@@ -10,7 +10,7 @@
 
 let from = "Stdlib"
 
-let () = Printf.printf "Set Warnings \"-deprecated-library-file,-warn-library-file\".\n\n"
+let () = Printf.printf "Set Warnings \"-deprecated-library-file,-warn-library-file,-notation-incompatible-prefix,-notation-overridden,-overwriting-delimiting-key\".\n\n"
 
 let logical_concat prefix f =
   let f = Filename.remove_extension f in