From fab62a15d14a3a8cf4a534f48411108a776b1a81 Mon Sep 17 00:00:00 2001 From: Arnaud Charlet Date: Wed, 2 Jan 2013 11:15:44 +0100 Subject: [multiple changes] 2013-01-02 Vincent Celier * usage.adb: Minor reformatting. 2013-01-02 Arnaud Charlet * opt.ads: Fix typo. 2013-01-02 Thomas Quinot * par_sco.adb: Generate P decision SCOs for SPARK pragmas Assume and Loop_Invariant. From-SVN: r194791 --- gcc/ada/usage.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'gcc/ada/usage.adb') diff --git a/gcc/ada/usage.adb b/gcc/ada/usage.adb index 3e55e64..030239d 100644 --- a/gcc/ada/usage.adb +++ b/gcc/ada/usage.adb @@ -170,7 +170,7 @@ begin -- Line for -gnatea switch Write_Switch_Char ("ea"); - Write_Line ("Delimiter for automatically added switches (internal switch"); + Write_Line ("Delimiter for automatically added switches (internal switch)"); -- Line for -gnateA switch @@ -255,7 +255,7 @@ begin -- Line for -gnatez switch Write_Switch_Char ("ez"); - Write_Line ("Delimiter for automatically added switches (internal switch"); + Write_Line ("Delimiter for automatically added switches (internal switch)"); -- Line for -gnatE switch -- cgit v1.1