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 74afe42..a56e005 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -23,7 +23,7 @@ -- -- ------------------------------------------------------------------------------ -with Einfo; use Einfo; +with Einfo.Entities; use Einfo.Entities; with Nmake; use Nmake; with SPARK_Xrefs; use SPARK_Xrefs; |