diff options
Diffstat (limited to 'src/flags.ads')
-rw-r--r-- | src/flags.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/flags.ads b/src/flags.ads index 5ad2ece2b..a90a4fea0 100644 --- a/src/flags.ads +++ b/src/flags.ads @@ -104,7 +104,7 @@ package Flags is -- If set to true, it means that analyze is done for elaboration. -- The purpose is to avoid spurious warning "will be checked - -- at elaboration" + -- at elaboration". It will also create default binding. Flag_Elaborate : Boolean := False; -- If set, a default aspect entity aspect might be an outdated unit. |