diff options
Diffstat (limited to 'gcc/ada/spark_xrefs.ads')
| -rw-r--r-- | gcc/ada/spark_xrefs.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/spark_xrefs.ads b/gcc/ada/spark_xrefs.ads index fa958cf6986..704b1ea10b5 100644 --- a/gcc/ada/spark_xrefs.ads +++ b/gcc/ada/spark_xrefs.ads @@ -285,7 +285,7 @@ package SPARK_Xrefs is File_Num : Nat; -- Set to the file dependency number for the scope - Scope_Num : Nat; + Scope_Num : Pos; -- Set to the scope number for the scope Spec_File_Num : Nat; |