diff options
Diffstat (limited to 'src/psl/psl-qm.adb')
-rw-r--r-- | src/psl/psl-qm.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/psl/psl-qm.adb b/src/psl/psl-qm.adb index 41f8e1001..722577018 100644 --- a/src/psl/psl-qm.adb +++ b/src/psl/psl-qm.adb @@ -197,7 +197,7 @@ package body PSL.QM is function Build_Primes (N : Node; Negate : Boolean) return Primes_Set is begin case Get_Kind (N) is - when N_HDL_Expr + when N_HDL_Bool | N_EOS => declare Res : Primes_Set (1); |