From 483fc6a696616e6867d6ffc098465b529967b022 Mon Sep 17 00:00:00 2001 From: charlet Date: Thu, 9 Sep 2010 10:39:19 +0000 Subject: 2010-09-09 Vincent Celier * prj-proc.adb: Minor comment spelling error fix. * osint.ads (Env_Vars_Case_Sensitive): Use function Get_Env_Vars_Case_Sensitive, not Get_File_Names_Case_Sensitive to compute value. 2010-09-09 Ed Schonberg * sem_res.adb (Resolve_Equality_Op): Implement Ada2012 rule for resolution of conditional expressions whose dependent expressions are anonymous access types. 2010-09-09 Robert Dewar * a-ststio.adb: Minor code reorganization. * s-direio.adb, prj.adb, prj-nmsc.adb, sem_type.adb: Remove redundant conversion. * types.ads: Minor reformatting. * binde.adb, vms_conv.adb, gnatls.adb, s-strxdr.adb, uintp.adb: Remove redundant conversions. * output.adb: Minor reformatting. * sem_ch8.adb (Find_Type): Test for redundant base applies to user types. * opt.ads: Add pragma Ordered for Verbosity_Level. * prj.ads: Add pragma Ordered for type Verbosity. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@164072 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/opt.ads | 1 + 1 file changed, 1 insertion(+) (limited to 'gcc/ada/opt.ads') diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 4107b0c56bf..ac893a1403b 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1306,6 +1306,7 @@ package Opt is -- information sent to standard output, also header, copyright and summary) type Verbosity_Level_Type is (None, Low, Medium, High); + pragma Ordered (Verbosity_Level_Type); Verbosity_Level : Verbosity_Level_Type := High; -- GNATMAKE, GPRMAKE -- Modified by gnatmake or gprmake switches -v, -vl, -vm, -vh. Indicates -- cgit v1.2.1