diff options
Diffstat (limited to 'gcc/ada/get_spark_xrefs.adb')
| -rw-r--r-- | gcc/ada/get_spark_xrefs.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/get_spark_xrefs.adb b/gcc/ada/get_spark_xrefs.adb index 9286678..63474ee 100644 --- a/gcc/ada/get_spark_xrefs.adb +++ b/gcc/ada/get_spark_xrefs.adb @@ -114,8 +114,8 @@ procedure Get_SPARK_Xrefs is ------------- function Get_Nat return Nat is - Val : Nat := 0; C : Character := Nextc; + Val : Nat := 0; begin if C not in '0' .. '9' then |