aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/lib-xref.adb
diff options
context:
space:
mode:
authorArnaud Charlet <charlet@gcc.gnu.org>2014-06-11 14:25:22 +0200
committerArnaud Charlet <charlet@gcc.gnu.org>2014-06-11 14:25:22 +0200
commit810241a5bfdbe0a3921916d3287eba6ef59ab575 (patch)
treeabae9747d4b5ac4bf69f8d9d20381f63a4858c08 /gcc/ada/lib-xref.adb
parent2c8d828a5fc1c18ef630ea45ce1ff13638d97918 (diff)
downloadgcc-810241a5bfdbe0a3921916d3287eba6ef59ab575.zip
gcc-810241a5bfdbe0a3921916d3287eba6ef59ab575.tar.gz
gcc-810241a5bfdbe0a3921916d3287eba6ef59ab575.tar.bz2
2014-06-11 Sergey Rybin <rybin@adacore.com frybin>
* gnat_ugn.texi, vms_data.ads: add description of gnatstub -W<par> option to specify the result file encoding. 2014-06-11 Robert Dewar <dewar@adacore.com> * errout.ads, sem_ch12.adb: Minor reformatting. * debug.adb, erroutc.adb: Remove -gnatd.q debug switch. * lib-xref.adb: Minor reformatting. * restrict.adb: Minor code reorganization (put routines in alpha order). From-SVN: r211455
Diffstat (limited to 'gcc/ada/lib-xref.adb')
-rw-r--r--gcc/ada/lib-xref.adb1
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb
index cc9ac4c..283c029 100644
--- a/gcc/ada/lib-xref.adb
+++ b/gcc/ada/lib-xref.adb
@@ -660,7 +660,6 @@ package body Lib.Xref is
(GNATprove_Mode
and then In_Extended_Main_Code_Unit (N)
and then (Typ = 'm' or else Typ = 'r' or else Typ = 's'))
-
then
null;