diff options
Diffstat (limited to 'std_names.adb')
-rw-r--r-- | std_names.adb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/std_names.adb b/std_names.adb index 2118dc809..8ad854b53 100644 --- a/std_names.adb +++ b/std_names.adb @@ -352,6 +352,12 @@ package body Std_Names is raise Program_Error; end if; + if GI ("psl") /= Name_Psl + or GI ("pragma") /= Name_Pragma + then + raise Program_Error; + end if; + -- PSL keywords if GI ("a") /= Name_A or GI ("af") /= Name_Af |