From 3fffbc0d3b8deefa32ea5035891726e5c37d8545 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ga=C3=ABtan=20Gilbert?= Date: Mon, 16 Dec 2024 13:42:09 +0100 Subject: [PATCH] disable warnings in stdlib All.v --- stdlib/tools/gen_all.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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