diff options
Diffstat (limited to 'src/std_names.adb')
| -rw-r--r-- | src/std_names.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/std_names.adb b/src/std_names.adb index 0fd7abf89..b14c3fc4b 100644 --- a/src/std_names.adb +++ b/src/std_names.adb @@ -386,6 +386,7 @@ package body Std_Names is Def ("l", Name_L); Def ("r", Name_R); Def ("s", Name_S); + Def ("v", Name_V); Def ("external_name", Name_External_Name); Def ("open_kind", Name_Open_Kind); Def ("status", Name_Status); |