blob: 11dfe2254f1768fb54d7abb37eddac2220465786 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
diff --color --unified --recursive --text src.orig/spark2014/gnat2why/gnat2why_gnat.gpr src/spark2014/gnat2why/gnat2why_gnat.gpr
--- src.orig/spark2014/gnat2why/gnat2why_gnat.gpr 2023-03-18 08:10:41.804020508 -0600
+++ src/spark2014/gnat2why/gnat2why_gnat.gpr 2023-03-18 08:11:36.097357323 -0600
@@ -13,7 +13,7 @@
Build : Build_Type := External ("Build", "Devel");
- Common_Switches := ("-g", "-gnat2022");
+ Common_Switches := ("-g", "-gnat2022", "-gnatwU");
-- These are appended after other switches, in particular, after -gnatg,
-- which sets the Ada version to 2012.
|