diff options
Diffstat (limited to 'gcc/ada/lib-xref.adb')
| -rw-r--r-- | gcc/ada/lib-xref.adb | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref.adb b/gcc/ada/lib-xref.adb index 4cf52c9..14462ce 100644 --- a/gcc/ada/lib-xref.adb +++ b/gcc/ada/lib-xref.adb @@ -645,8 +645,8 @@ package body Lib.Xref is or else (GNATprove_Mode - and then In_Extended_Main_Code_Unit (N) - and then (Typ = 'm' or else Typ = 'r' or else Typ = 's')) + and then In_Extended_Main_Code_Unit (N) + and then (Typ = 'm' or else Typ = 'r' or else Typ = 's')) then null; else @@ -1015,6 +1015,8 @@ package body Lib.Xref is Actual_Typ := 'P'; end if; + -- Comment needed here for special SPARK code ??? + if GNATprove_Mode then Ref := Sloc (Nod); Def := Sloc (Ent); |