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);