diff options
Diffstat (limited to 'src/libraries.adb')
-rw-r--r-- | src/libraries.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index 49ae64fa8..ca9616571 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -425,7 +425,7 @@ package body Libraries is -- Parse header. Scan; if Current_Token /= Tok_Identifier - or else Nam_Length /= 1 or else Nam_Buffer (1) /= 'v' + or else Current_Identifier /= Std_Names.Name_V then Bad_Library_Format; end if; |