disable warnings in stdlib All.v

SkySkimmer · Dec 19, 2024 · 3fffbc0 · 3fffbc0
1 parent 7c3b3f3
commit 3fffbc0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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