diff options
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index fc05e16..723b7a8 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -24,8 +24,8 @@ ------------------------------------------------------------------------------ with Einfo.Entities; use Einfo.Entities; -with Nmake; use Nmake; -with SPARK_Xrefs; use SPARK_Xrefs; +with Nmake; use Nmake; +with SPARK_Xrefs; use SPARK_Xrefs; separate (Lib.Xref) package body SPARK_Specific is |