1 files changed, 2 insertions, 3 deletions
diff --git a/src/psl/psl-subsets.adb b/src/psl/psl-subsets.adb
index 44d74499b..c077c033f 100644
--- a/src/psl/psl-subsets.adb
+++ b/src/psl/psl-subsets.adb
@@ -203,12 +203,11 @@ package body PSL.Subsets is
    function Is_Async_Abort (N : Node) return Boolean is
    begin
       case Get_Kind (N) is
-         when N_Async_Abort =>
+         when N_Async_Abort
+            | N_Abort =>
             return True;
          when N_Sync_Abort =>
             return False;
-         when N_Abort =>
-            return False;
          when others =>
             raise Internal_Error;
       end case;