diff options
Diffstat (limited to 'src/psl/psl-subsets.adb')
| -rw-r--r-- | src/psl/psl-subsets.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb index d5e3c1985..303d01c1e 100644 --- a/src/psl/psl-subsets.adb +++ b/src/psl/psl-subsets.adb @@ -188,6 +188,7 @@ package body PSL.Subsets is when N_True | N_False | N_Number + | N_Inf | N_EOS | N_HDL_Expr | N_HDL_Bool => |