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 0cca4d0b0..e01a9bc24 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -236,7 +236,7 @@ package body Libraries is -- design_file_format ::= -- filename_format { design_unit_format } -- filename_format ::= - -- FILE directory "FILENAME" file_time_stamp analyze_time_stamp: + -- FILE directory "filename" "file_time_stamp" "analyze_time_stamp": -- design_unit_format ::= entity_format -- | architecture_format -- | package_format |