Index: sem_aux.adb
===================================================================
--- sem_aux.adb	(revision 192908)
+++ sem_aux.adb	(working copy)
@@ -431,11 +431,17 @@
    begin
       N := First_Rep_Item (E);
       while Present (N) loop
+
+         --  Only one of Priority / Interrupt_Priority can be specified, so
+         --  return whichever one is present to catch illegal duplication.
+
          if Nkind (N) = N_Pragma
            and then
              (Pragma_Name (N) = Nam
                or else (Nam = Name_Priority
-                         and then Pragma_Name (N) = Name_Interrupt_Priority))
+                         and then Pragma_Name (N) = Name_Interrupt_Priority)
+               or else (Nam = Name_Interrupt_Priority
+                         and then Pragma_Name (N) = Name_Priority))
          then
             if Check_Parents then
                return N;
Index: aspects.adb
===================================================================
--- aspects.adb	(revision 192908)
+++ aspects.adb	(working copy)
@@ -275,7 +275,7 @@
     Aspect_Inline_Always                => Aspect_Inline,
     Aspect_Input                        => Aspect_Input,
     Aspect_Interrupt_Handler            => Aspect_Interrupt_Handler,
-    Aspect_Interrupt_Priority           => Aspect_Interrupt_Priority,
+    Aspect_Interrupt_Priority           => Aspect_Priority,
     Aspect_Invariant                    => Aspect_Invariant,
     Aspect_Iterator_Element             => Aspect_Iterator_Element,
     Aspect_Link_Name                    => Aspect_Link_Name,