diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index b6ddd93..4d22174 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -249,7 +249,7 @@ package body SPARK_Specific is -- Source file could be inexistant as a result of an error, if option -- gnatQ is used. - if File = No_Source_File then + if File <= No_Source_File then return; end if; |